The bear is not young. The cat likes the squirrel. The cow is round. The squirrel is blue. If the squirrel is blue then the squirrel is round.
The bear is not young.
("bear" "is" "young" "-")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cow is round.
("cow" "is" "round" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If the squirrel is blue then the squirrel is round.
((("squirrel" "is" "blue" "+")) -> ("squirrel" "is" "round" "+"))
The squirrel is blue.
True
1
proof
[(triple4)]
("squirrel" "is" "blue" "+")
triple4
The cow is not round.
False
1
inv-proof
[(triple3)]
("cow" "is" "round" "-")
triple3
The squirrel is round.
True
2
proof
[(((triple4) -> rule1))]
("squirrel" "is" "round" "+")
((triple4) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple4) -> rule1))]
("squirrel" "is" "round" "-")
((triple4) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The cow does not visit the squirrel.
Unknown
inv-random
[@0: The cow visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "squirrel" "-")
The cow sees the bear.
Unknown
random
[@0: The cow sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bear" "+")
The cat does not see the squirrel.
Unknown
inv-random
[@0: The cat sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "squirrel" "-")
The cow sees the cat.
Unknown
random
[@0: The cow sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cat" "+")
@0: The bear is not young.[(triple1)] The cat likes the squirrel.[(triple2)] The cow is round.[(triple3)] The squirrel is blue.[(triple4)] @1: The squirrel is round.[(((triple4) -> rule1))]
The bear is not young.
("bear" "is" "young" "-")
triple1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
((triple4) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1