Bob is furry. Bob is round. Charlie is red. Fiona is quiet. Fiona is red. Fiona is round. Gary is furry. Gary is not green. Gary is quiet. Gary is round. If Gary is white then Gary is quiet. If Fiona is quiet and Fiona is round then Fiona is not furry. All red things are quiet. If something is kind and furry then it is round. If Bob is green then Bob is furry. If something is quiet then it is white. If something is kind and furry then it is green. If something is furry and kind then it is red.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is white then Gary is quiet.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "quiet" "+"))
If Fiona is quiet and Fiona is round then Fiona is not furry.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "furry" "-"))
All red things are quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If something is kind and furry then it is round.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If Bob is green then Bob is furry.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "furry" "+"))
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is kind and furry then it is green.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If something is furry and kind then it is red.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Gary is furry.
True
1
proof
[(triple7)]
("Gary" "is" "furry" "+")
triple7
Charlie is not red.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "red" "-")
triple3
Bob is not quiet.
Unknown
inv-rconc
[@2: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- rule8 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is furry.[(triple1)] Bob is round.[(triple2)] Charlie is red.[(triple3)] Fiona is quiet.[(triple4 OR ((triple5) -> rule3))] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Gary is furry.[(triple7)] Gary is not green.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] @1: Charlie is quiet.[(((triple3) -> rule3))] Fiona is not furry.[(((triple4 triple6) -> rule2) OR ((((triple5) -> rule3) triple6) -> rule2))] Fiona is white.[(((triple4) -> rule6) OR ((((triple5) -> rule3)) -> rule6))] Gary is white.[(((triple9) -> rule6))] @2: Charlie is white.[(((((triple3) -> rule3)) -> rule6))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
((triple5) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is not green.
("Gary" "is" "green" "-")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
((triple4 triple6) -> (rule2 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
((((triple5) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((triple4) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
((triple9) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2