The squirrel is round. All green things are blue. If the squirrel is round then the squirrel is rough. If the squirrel is rough then the squirrel is green. Round things are blue. Cold, rough things are blue. If something is round then it is rough. Cold things are round. Cold things are round.
The squirrel is round.
("squirrel" "is" "round" "+")
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If the squirrel is round then the squirrel is rough.
((("squirrel" "is" "round" "+")) -> ("squirrel" "is" "rough" "+"))
If the squirrel is rough then the squirrel is green.
((("squirrel" "is" "rough" "+")) -> ("squirrel" "is" "green" "+"))
Round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Cold, rough things are blue.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is round then it is rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
The squirrel is round.
True
1
proof
[(triple1)]
("squirrel" "is" "round" "+")
triple1
The squirrel is not round.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "round" "-")
triple1
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The squirrel is round.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule4) OR ((((((triple1) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1) -> rule6)) -> rule3)) -> rule1))] The squirrel is rough.[(((triple1) -> rule2) OR ((triple1) -> rule6))] @2: The squirrel is green.[(((((triple1) -> rule2)) -> rule3) OR ((((triple1) -> rule6)) -> rule3))]
The squirrel is round.
("squirrel" "is" "round" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple1) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2