Bob is red. Bob is rough. Bob is round. All red, big things are cold. All red, cold things are round. Big, red things are smart. Round, big things are cold. Quiet things are cold. If something is quiet and round then it is cold. If something is quiet and red then it is smart. All quiet, round things are smart.
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
All red, big things are cold.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
All red, cold things are round.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Big, red things are smart.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
Round, big things are cold.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Quiet things are cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is quiet and round then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is quiet and red then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
All quiet, round things are smart.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Bob is rough.
True
1
proof
[(triple2)]
("Bob" "is" "rough" "+")
triple2
Bob is not round.
False
1
inv-proof
[(triple3)]
("Bob" "is" "round" "-")
triple3
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3