The squirrel is blue. The squirrel is green. The squirrel is round. Rough people are young. All rough people are young. If someone is blue then they are rough.
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
Rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
The squirrel is round.
True
1
proof
[(triple3)]
("squirrel" "is" "round" "+")
triple3
The squirrel is not green.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "green" "-")
triple2
The squirrel is rough.
True
2
proof
[(((triple1) -> rule3))]
("squirrel" "is" "rough" "+")
((triple1) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("squirrel" "is" "rough" "-")
((triple1) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is young.
True
3
proof
[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule2))]
("squirrel" "is" "young" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is not young.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule2))]
("squirrel" "is" "young" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
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" "+")
@0: The squirrel is blue.[(triple1)] The squirrel is green.[(triple2)] The squirrel is round.[(triple3)] @1: The squirrel is rough.[(((triple1) -> rule3))] @2: The squirrel is young.[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule2))]
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel is round.
("squirrel" "is" "round" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple1) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2