Bob is red. Erin is round. Big people are smart. All white, big people are kind. If Erin is red and Erin is big then Erin is round. If someone is kind and white then they are cold. If Erin is big then Erin is round. Cold, round people are red. If someone is red and round then they are big. If someone is round and white then they are kind.
Bob is red.
("Bob" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
All white, big people are kind.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If Erin is red and Erin is big then Erin is round.
((("Erin" "is" "red" "+") ("Erin" "is" "big" "+")) -> ("Erin" "is" "round" "+"))
If someone is kind and white then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If Erin is big then Erin is round.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "round" "+"))
Cold, round people are red.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is red and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and white then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "cold" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is red.[(triple1)] Erin is round.[(triple2)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2