The squirrel is not cold. The squirrel is rough. The squirrel is not round. All nice people are not rough. If someone is nice and cold then they are rough. All round, young people are not rough. If someone is young and nice then they are not rough. If someone is cold and not round then they are nice. If someone is nice and young then they are cold. Young people are cold. All nice, cold people are young.
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
All nice people are not rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
If someone is nice and cold then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
All round, young people are not rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "-"))
If someone is young and nice then they are not rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
If someone is cold and not round then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "nice" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All nice, cold people are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
The squirrel is not cold.
True
1
proof
[(triple1)]
("squirrel" "is" "cold" "-")
triple1
The squirrel is round.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "round" "+")
triple3
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The squirrel is not cold.[(triple1)] The squirrel is not round.[(triple3)] The squirrel is rough.[(triple2)]
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple1
The squirrel is not round.
("squirrel" "is" "round" "-")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple2