The squirrel is big. The squirrel is green. The squirrel is round. All big things are red. If something is round and not big then it is red. If the squirrel is red then the squirrel is not rough.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is round and not big then it is red.
((("something" "is" "round" "+") ("something" "is" "big" "~")) -> ("something" "is" "red" "+"))
If the squirrel is red then the squirrel is not rough.
((("squirrel" "is" "red" "+")) -> ("squirrel" "is" "rough" "-"))
The squirrel is round.
True
1
proof
[(triple3)]
("squirrel" "is" "round" "+")
triple3
The squirrel is not big.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "big" "-")
triple1
The squirrel is red.
True
2
proof
[(((triple1) -> rule1))]
("squirrel" "is" "red" "+")
((triple1) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not red.
False
2
inv-proof
[(((triple1) -> rule1))]
("squirrel" "is" "red" "-")
((triple1) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not rough.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("squirrel" "is" "rough" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is rough.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("squirrel" "is" "rough" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2)] The squirrel is round.[(triple3)] @1: The squirrel is red.[(((triple1) -> rule1))] @2: The squirrel is not rough.[(((((triple1) -> rule1)) -> rule3))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel is round.
("squirrel" "is" "round" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
((triple1) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not rough.
("squirrel" "is" "rough" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2