Bob is not cold. Charlie is round. Gary is round. Harry is not big. Harry is cold. Harry is green. Harry is white. Big things are white. All round, kind things are cold. If something is white and not round then it is big.
Bob is not cold.
("Bob" "is" "cold" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
Big things are white.
((("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
All round, kind things are cold.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If something is white and not round then it is big.
((("something" "is" "white" "+") ("something" "is" "round" "~")) -> ("something" "is" "big" "+"))
Gary is round.
True
1
proof
[(triple3)]
("Gary" "is" "round" "+")
triple3
Harry is not green.
False
1
inv-proof
[(triple6)]
("Harry" "is" "green" "-")
triple6
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is not cold.[(triple1)] Charlie is round.[(triple2)] Gary is round.[(triple3)] Harry is cold.[(triple5)] Harry is green.[(triple6)] Harry is not big.[(triple4)] Harry is white.[(triple7)]
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is not big.
("Harry" "is" "big" "-")
triple4
Harry is white.
("Harry" "is" "white" "+")
triple7