Harry is cold. If someone is green then they are cold. Green, white people are rough. If Harry is kind and Harry is rough then Harry is white. If Harry is green then Harry is white. Rough, white people are young. If Harry is rough and Harry is white then Harry is young. All white people are blue. Rough people are blue.
Harry is cold.
("Harry" "is" "cold" "+")
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Green, white people are rough.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If Harry is kind and Harry is rough then Harry is white.
((("Harry" "is" "kind" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "white" "+"))
If Harry is green then Harry is white.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "white" "+"))
Rough, white people are young.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
If Harry is rough and Harry is white then Harry is young.
((("Harry" "is" "rough" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "young" "+"))
All white people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Harry is cold.
True
1
proof
[(triple1)]
("Harry" "is" "cold" "+")
triple1
Harry is not cold.
False
1
inv-proof
[(triple1)]
("Harry" "is" "cold" "-")
triple1
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Harry is cold.[(triple1)]
Harry is cold.
("Harry" "is" "cold" "+")
triple1