Charlie is furry. Erin is big. Gary is blue. Harry is smart. If Harry is not kind then Harry is blue. If Charlie is quiet and Charlie is smart then Charlie is not furry. All blue, quiet things are cold.
Charlie is furry.
("Charlie" "is" "furry" "+")
Erin is big.
("Erin" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Harry is not kind then Harry is blue.
((("Harry" "is" "kind" "~")) -> ("Harry" "is" "blue" "+"))
If Charlie is quiet and Charlie is smart then Charlie is not furry.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "furry" "-"))
All blue, quiet things are cold.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
Erin is big.
True
1
proof
[(triple2)]
("Erin" "is" "big" "+")
triple2
Charlie is not furry.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "furry" "-")
triple1
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Charlie is furry.[(triple1)] Erin is big.[(triple2)] Gary is blue.[(triple3)] Harry is smart.[(triple4)]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple3
Harry is smart.
("Harry" "is" "smart" "+")
triple4