Bob is red. Bob is round. Charlie is cold. Charlie is round. Erin is cold. Gary is red. Gary is round. If Gary is furry and Gary is green then Gary is quiet. If Gary is green then Gary is quiet.
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is furry and Gary is green then Gary is quiet.
((("Gary" "is" "furry" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "quiet" "+"))
If Gary is green then Gary is quiet.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "quiet" "+"))
Bob is round.
True
1
proof
[(triple2)]
("Bob" "is" "round" "+")
triple2
Charlie is not cold.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "cold" "-")
triple3
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "quiet" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Charlie is cold.[(triple3)] Charlie is round.[(triple4)] Erin is cold.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7