Anne is cold. Fiona is white. Harry is green. Blue things are kind. Rough, green things are blue. If Anne is young and Anne is cold then Anne is kind.
Anne is cold.
("Anne" "is" "cold" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Rough, green things are blue.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If Anne is young and Anne is cold then Anne is kind.
((("Anne" "is" "young" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "kind" "+"))
Harry is green.
True
1
proof
[(triple3)]
("Harry" "is" "green" "+")
triple3
Harry is not green.
False
1
inv-proof
[(triple3)]
("Harry" "is" "green" "-")
triple3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is cold.[(triple1)] Fiona is white.[(triple2)] Harry is green.[(triple3)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3