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