The squirrel is big. The squirrel is blue. The squirrel is not green. All blue, young people are red. If someone is big and not green then they are young. If someone is big and green then they are not blue.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
All blue, young people are red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big and not green then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "young" "+"))
If someone is big and green then they are not blue.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "-"))
The squirrel is blue.
True
1
proof
[(triple2)]
("squirrel" "is" "blue" "+")
triple2
The squirrel is not blue.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "blue" "-")
triple2
The squirrel is young.
True
3
proof
[(((triple1 triple3) -> rule2))]
("squirrel" "is" "young" "+")
((triple1 triple3) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
3
inv-proof
[(((triple1 triple3) -> rule2))]
("squirrel" "is" "young" "-")
((triple1 triple3) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is red.
True
5
proof
[(((triple2 ((triple1 triple3) -> rule2)) -> rule1))]
("squirrel" "is" "red" "+")
((triple2 ((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is not red.
False
5
inv-proof
[(((triple2 ((triple1 triple3) -> rule2)) -> rule1))]
("squirrel" "is" "red" "-")
((triple2 ((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
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 big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is not green.[(triple3)] @1: The squirrel is young.[(((triple1 triple3) -> rule2))] @2: The squirrel is red.[(((triple2 ((triple1 triple3) -> rule2)) -> rule1))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple2
The squirrel is not green.
("squirrel" "is" "green" "-")
triple3
The squirrel is young.
("squirrel" "is" "young" "+")
((triple1 triple3) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple2 ((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2