The squirrel is cold. The squirrel is kind. The squirrel is young. If the squirrel is rough and the squirrel is young then the squirrel is blue. Kind, cold things are rough. All cold, rough things are young.
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If the squirrel is rough and the squirrel is young then the squirrel is blue.
((("squirrel" "is" "rough" "+") ("squirrel" "is" "young" "+")) -> ("squirrel" "is" "blue" "+"))
Kind, cold things are rough.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
All cold, rough things are young.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
The squirrel is kind.
True
1
proof
[(triple2)]
("squirrel" "is" "kind" "+")
triple2
The squirrel is not cold.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "cold" "-")
triple1
The squirrel is rough.
True
3
proof
[(((triple2 triple1) -> rule2))]
("squirrel" "is" "rough" "+")
((triple2 triple1) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not rough.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("squirrel" "is" "rough" "-")
((triple2 triple1) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is blue.
True
5
proof
[(((((triple2 triple1) -> rule2) triple3) -> rule1) OR ((((triple2 triple1) -> rule2) ((triple1 ((triple2 triple1) -> rule2)) -> rule3)) -> rule1))]
("squirrel" "is" "blue" "+")
((((triple2 triple1) -> (rule2 % int2)) triple3) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple2 triple1) -> (rule2 % int3)) ((triple1 ((triple2 triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel is not blue.
False
5
inv-proof
[(((((triple2 triple1) -> rule2) triple3) -> rule1) OR ((((triple2 triple1) -> rule2) ((triple1 ((triple2 triple1) -> rule2)) -> rule3)) -> rule1))]
("squirrel" "is" "blue" "-")
((((triple2 triple1) -> (rule2 % int2)) triple3) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple2 triple1) -> (rule2 % int3)) ((triple1 ((triple2 triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
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 cold.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is young.[(triple3 OR ((triple1 ((triple2 triple1) -> rule2)) -> rule3))] @1: The squirrel is rough.[(((triple2 triple1) -> rule2))] @2: The squirrel is blue.[(((((triple2 triple1) -> rule2) triple3) -> rule1) OR ((((triple2 triple1) -> rule2) ((triple1 ((triple2 triple1) -> rule2)) -> rule3)) -> rule1))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple2
The squirrel is young.
("squirrel" "is" "young" "+")
triple3
((triple1 ((triple2 triple1) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple2 triple1) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((triple2 triple1) -> (rule2 % int2)) triple3) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple2 triple1) -> (rule2 % int3)) ((triple1 ((triple2 triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3