The cow does not eat the squirrel. The cow is not rough. The cow likes the squirrel. The cow needs the squirrel. The squirrel is young. The squirrel likes the cow. The squirrel needs the cow. If someone eats the cow and they like the squirrel then they do not need the cow. If someone eats the squirrel and they are green then the squirrel does not need the cow. If someone likes the cow and the cow likes the squirrel then the cow needs the squirrel. If someone eats the cow then the cow needs the squirrel. If someone is young then they do not eat the cow. If the squirrel does not eat the cow then the squirrel is not red.
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
The cow is not rough.
("cow" "is" "rough" "-")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If someone eats the cow and they like the squirrel then they do not need the cow.
((("someone" "eats" "cow" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "needs" "cow" "-"))
If someone eats the squirrel and they are green then the squirrel does not need the cow.
((("someone" "eats" "squirrel" "+") ("someone" "is" "green" "+")) -> ("squirrel" "needs" "cow" "-"))
If someone likes the cow and the cow likes the squirrel then the cow needs the squirrel.
((("someone" "likes" "cow" "+") ("cow" "likes" "squirrel" "+")) -> ("cow" "needs" "squirrel" "+"))
If someone eats the cow then the cow needs the squirrel.
((("someone" "eats" "cow" "+")) -> ("cow" "needs" "squirrel" "+"))
If someone is young then they do not eat the cow.
((("someone" "is" "young" "+")) -> ("someone" "eats" "cow" "-"))
If the squirrel does not eat the cow then the squirrel is not red.
((("squirrel" "eats" "cow" "~")) -> ("squirrel" "is" "red" "-"))
The squirrel is young.
True
1
proof
[(triple5)]
("squirrel" "is" "young" "+")
triple5
The squirrel does not like the cow.
False
1
inv-proof
[(triple6)]
("squirrel" "likes" "cow" "-")
triple6
The squirrel does not eat the cow.
True
2
proof
[(((triple5) -> rule5))]
("squirrel" "eats" "cow" "-")
((triple5) -> (rule5 % int1))
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
int1
The squirrel eats the cow.
False
2
inv-proof
[(((triple5) -> rule5))]
("squirrel" "eats" "cow" "+")
((triple5) -> (rule5 % int1))
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
int1
The squirrel is not red.
True
3
proof
[(((((triple5) -> rule5)) -> rule6))]
("squirrel" "is" "red" "-")
((((triple5) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
int2
The squirrel is red.
False
3
inv-proof
[(((((triple5) -> rule5)) -> rule6))]
("squirrel" "is" "red" "+")
((((triple5) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
int2
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
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 cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow does not eat the squirrel.[(triple1)] The cow is not rough.[(triple2)] The cow likes the squirrel.[(triple3)] The cow needs the squirrel.[(triple4 OR ((triple6 triple3) -> rule3))] The squirrel is young.[(triple5)] The squirrel likes the cow.[(triple6)] The squirrel needs the cow.[(triple7)] @1: The squirrel does not eat the cow.[(((triple5) -> rule5))] @2: The squirrel is not red.[(((((triple5) -> rule5)) -> rule6))]
The cow does not eat the squirrel.
("cow" "eats" "squirrel" "-")
triple1
The cow is not rough.
("cow" "is" "rough" "-")
triple2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple3
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple4
((triple6 triple3) -> (rule3 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple6
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple7
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
((triple5) -> (rule5 % int1))
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
int1
The squirrel is not red.
("squirrel" "is" "red" "-")
((((triple5) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
int2