Anne is not round. Gary is young. Harry is green. Cold people are not blue. Cold, round people are rough. If someone is green and not smart then they are round. All rough, round people are young. If someone is round and green then they are young. If someone is round and cold then they are not green. If Gary is cold then Gary is green. If Anne is rough and Anne is cold then Anne is not round.
Anne is not round.
("Anne" "is" "round" "-")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Cold people are not blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "-"))
Cold, round people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and not smart then they are round.
((("someone" "is" "green" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "round" "+"))
All rough, round people are young.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is round and cold then they are not green.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "-"))
If Gary is cold then Gary is green.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "green" "+"))
If Anne is rough and Anne is cold then Anne is not round.
((("Anne" "is" "rough" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "round" "-"))
Anne is not round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Harry is not green.
False
1
inv-proof
[(triple3)]
("Harry" "is" "green" "-")
triple3
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "green" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is not round.[(triple1)] Gary is young.[(triple2)] Harry is green.[(triple3)]
Anne is not round.
("Anne" "is" "round" "-")
triple1
Gary is young.
("Gary" "is" "young" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3