Anne is rough. Erin is round. Harry is green. If something is cold and not smart then it is round. If Harry is cold and Harry is not furry then Harry is big.
Anne is rough.
("Anne" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If something is cold and not smart then it is round.
((("something" "is" "cold" "+") ("something" "is" "smart" "~")) -> ("something" "is" "round" "+"))
If Harry is cold and Harry is not furry then Harry is big.
((("Harry" "is" "cold" "+") ("Harry" "is" "furry" "~")) -> ("Harry" "is" "big" "+"))
Harry is green.
True
1
proof
[(triple3)]
("Harry" "is" "green" "+")
triple3
Harry is not green.
False
1
inv-proof
[(triple3)]
("Harry" "is" "green" "-")
triple3
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is rough.[(triple1)] Erin is round.[(triple2)] Harry is green.[(triple3)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3