The squirrel is rough. Green things are not blue. All green, nice things are blue. Rough things are green. All round, nice things are green. If something is rough and not nice then it is green. Blue things are not green. If something is blue then it is rough. If something is rough then it is not round.
The squirrel is rough.
("squirrel" "is" "rough" "+")
Green things are not blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "-"))
All green, nice things are blue.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
All round, nice things are green.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is rough and not nice then it is green.
((("something" "is" "rough" "+") ("something" "is" "nice" "~")) -> ("something" "is" "green" "+"))
Blue things are not green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it is not round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "-"))
The squirrel is rough.
True
1
proof
[(triple1)]
("squirrel" "is" "rough" "+")
triple1
The squirrel is not rough.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "rough" "-")
triple1
The squirrel is not round.
True
2
proof
[(((triple1) -> rule8))]
("squirrel" "is" "round" "-")
((triple1) -> (rule8 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The squirrel is round.
False
2
inv-proof
[(((triple1) -> rule8))]
("squirrel" "is" "round" "+")
((triple1) -> (rule8 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The squirrel is not nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The squirrel is rough.[(triple1)] @1: The squirrel is green.[(((triple1) -> rule3))] The squirrel is not round.[(((triple1) -> rule8))] @2: The squirrel is not blue.[(((((triple1) -> rule3)) -> rule1))]
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple1) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not round.
("squirrel" "is" "round" "-")
((triple1) -> (rule8 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The squirrel is not blue.
("squirrel" "is" "blue" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is not blue.
("squirrel" "is" "blue" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2