Bob is not blue. Bob is furry. Bob is red. Charlie is blue. Charlie is round. Dave is not green. Fiona is not blue. Fiona is kind. Fiona is red. Fiona is young. If Charlie is not green then Charlie is blue. Blue people are young. All red people are furry. All green people are furry. Furry, round people are blue. If Charlie is green and Charlie is round then Charlie is kind. If someone is round and not young then they are kind. If someone is round and not red then they are kind.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is not green.
("Dave" "is" "green" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Charlie is not green then Charlie is blue.
((("Charlie" "is" "green" "~")) -> ("Charlie" "is" "blue" "+"))
Blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
All red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Furry, round people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If Charlie is green and Charlie is round then Charlie is kind.
((("Charlie" "is" "green" "+") ("Charlie" "is" "round" "+")) -> ("Charlie" "is" "kind" "+"))
If someone is round and not young then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "kind" "+"))
If someone is round and not red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "kind" "+"))
Bob is furry.
True
1
proof
[(triple2 OR ((triple3) -> rule3))]
("Bob" "is" "furry" "+")
triple2
((triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule3))]
("Bob" "is" "furry" "-")
triple2
((triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Charlie is young.
True
2
proof
[(((triple4) -> rule2))]
("Charlie" "is" "young" "+")
((triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple4) -> rule2))]
("Charlie" "is" "young" "-")
((triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "furry" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is furry.[(triple2 OR ((triple3) -> rule3))] Bob is not blue.[(triple1)] Bob is red.[(triple3)] Charlie is blue.[(triple4)] Charlie is round.[(triple5)] Dave is not green.[(triple6)] Fiona is kind.[(triple8)] Fiona is not blue.[(triple7)] Fiona is red.[(triple9)] Fiona is young.[(triple10)] @1: Charlie is young.[(((triple4) -> rule2))] Fiona is furry.[(((triple9) -> rule3))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is not green.
("Dave" "is" "green" "-")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Charlie is young.
("Charlie" "is" "young" "+")
((triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple9) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1