Charlie is white. Dave is big. Erin is round. Harry is round. Cold, white people are green. If Harry is white then Harry is cold. If someone is green then they are white. If someone is red then they are cold. If someone is white and cold then they are big. All cold people are red. If Charlie is green and Charlie is round then Charlie is red. If Erin is red and Erin is white then Erin is rough.
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is round.
("Harry" "is" "round" "+")
Cold, white people are green.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Harry is white then Harry is cold.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "cold" "+"))
If someone is green then they are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is white and cold then they are big.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
All cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If Charlie is green and Charlie is round then Charlie is red.
((("Charlie" "is" "green" "+") ("Charlie" "is" "round" "+")) -> ("Charlie" "is" "red" "+"))
If Erin is red and Erin is white then Erin is rough.
((("Erin" "is" "red" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "rough" "+"))
Harry is round.
True
1
proof
[(triple4)]
("Harry" "is" "round" "+")
triple4
Harry is not round.
False
1
inv-proof
[(triple4)]
("Harry" "is" "round" "-")
triple4
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Charlie" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Charlie is white.[(triple1)] Dave is big.[(triple2)] Erin is round.[(triple3)] Harry is round.[(triple4)]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Harry is round.
("Harry" "is" "round" "+")
triple4