The cow eats the squirrel. The cow is nice. The cow is red. The cow sees the squirrel. The squirrel chases the cow. The squirrel does not eat the cow. The squirrel is blue. The squirrel is red. The squirrel is not rough. The squirrel sees the cow. If something is nice and it sees the cow then the cow chases the squirrel. If something chases the cow and the cow is not nice then the cow eats the squirrel. If something chases the cow then it is blue. If something chases the squirrel and the squirrel is blue then the squirrel does not chase the cow. If the cow eats the squirrel and the squirrel chases the cow then the squirrel sees the cow. If something is red then it chases the cow. If something is blue then it is young. If the squirrel sees the cow and the cow does not eat the squirrel then the cow is blue.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If something is nice and it sees the cow then the cow chases the squirrel.
((("something" "is" "nice" "+") ("something" "sees" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
If something chases the cow and the cow is not nice then the cow eats the squirrel.
((("something" "chases" "cow" "+") ("cow" "is" "nice" "~")) -> ("cow" "eats" "squirrel" "+"))
If something chases the cow then it is blue.
((("something" "chases" "cow" "+")) -> ("something" "is" "blue" "+"))
If something chases the squirrel and the squirrel is blue then the squirrel does not chase the cow.
((("something" "chases" "squirrel" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "chases" "cow" "-"))
If the cow eats the squirrel and the squirrel chases the cow then the squirrel sees the cow.
((("cow" "eats" "squirrel" "+") ("squirrel" "chases" "cow" "+")) -> ("squirrel" "sees" "cow" "+"))
If something is red then it chases the cow.
((("something" "is" "red" "+")) -> ("something" "chases" "cow" "+"))
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If the squirrel sees the cow and the cow does not eat the squirrel then the cow is blue.
((("squirrel" "sees" "cow" "+") ("cow" "eats" "squirrel" "~")) -> ("cow" "is" "blue" "+"))
The cow is red.
True
1
proof
[(triple3)]
("cow" "is" "red" "+")
triple3
The squirrel does not chase the cow.
False
1
inv-proof
[(triple5 OR ((triple8) -> rule6))]
("squirrel" "chases" "cow" "-")
triple5
((triple8) -> (rule6 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow chases the cow.
True
2
proof
[(((triple3) -> rule6))]
("cow" "chases" "cow" "+")
((triple3) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple3) -> rule6))]
("cow" "chases" "cow" "-")
((triple3) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
True
3
proof
[(((((triple3) -> rule6)) -> rule3))]
("cow" "is" "blue" "+")
((((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow is not blue.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule3))]
("cow" "is" "blue" "-")
((((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow is young.
True
4
proof
[(((((((triple3) -> rule6)) -> rule3)) -> rule7))]
("cow" "is" "young" "+")
((((((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The cow is not young.
False
4
inv-proof
[(((((((triple3) -> rule6)) -> rule3)) -> rule7))]
("cow" "is" "young" "-")
((((((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The cow does not chase the squirrel.
Unknown
inv-rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "squirrel" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
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 chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The cow eats the squirrel.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow sees the squirrel.[(triple4)] The squirrel chases the cow.[(triple5 OR ((triple8) -> rule6))] The squirrel does not eat the cow.[(triple6)] The squirrel is blue.[(triple7 OR ((triple5) -> rule3) OR ((((triple8) -> rule6)) -> rule3))] The squirrel is not rough.[(triple9)] The squirrel is red.[(triple8)] The squirrel sees the cow.[(triple10 OR ((triple1 triple5) -> rule5) OR ((triple1 ((triple8) -> rule6)) -> rule5))] @1: The cow chases the cow.[(((triple3) -> rule6))] The squirrel is young.[(((triple7) -> rule7) OR ((((triple5) -> rule3)) -> rule7) OR ((((((triple8) -> rule6)) -> rule3)) -> rule7))] @2: The cow is blue.[(((((triple3) -> rule6)) -> rule3))] @3: The cow is young.[(((((((triple3) -> rule6)) -> rule3)) -> rule7))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple5
((triple8) -> (rule6 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
((triple5) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple10
((triple1 triple5) -> (rule5 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
((triple1 ((triple8) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple3) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple7) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
((((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow is young.
("cow" "is" "young" "+")
((((((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3