The cow chases the squirrel. The cow needs the squirrel. The cow visits the squirrel. The squirrel chases the cow. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel needs the cow. The squirrel visits the cow. All round things are kind. If something needs the cow and it is nice then the cow is round.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
All round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something needs the cow and it is nice then the cow is round.
((("something" "needs" "cow" "+") ("something" "is" "nice" "+")) -> ("cow" "is" "round" "+"))
The squirrel is round.
True
1
proof
[(triple8)]
("squirrel" "is" "round" "+")
triple8
The squirrel does not visit the cow.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "cow" "-")
triple10
The cow is round.
True
3
proof
[(((triple9 triple7) -> rule2))]
("cow" "is" "round" "+")
((triple9 triple7) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is not round.
False
3
inv-proof
[(((triple9 triple7) -> rule2))]
("cow" "is" "round" "-")
((triple9 triple7) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is kind.
True
4
proof
[(((((triple9 triple7) -> rule2)) -> rule1))]
("cow" "is" "kind" "+")
((((triple9 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is not kind.
False
4
inv-proof
[(((((triple9 triple7) -> rule2)) -> rule1))]
("cow" "is" "kind" "-")
((((triple9 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
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 cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow chases the squirrel.[(triple1)] The cow needs the squirrel.[(triple2)] The cow visits the squirrel.[(triple3)] The squirrel chases the cow.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is kind.[(triple6 OR ((triple8) -> rule1))] The squirrel is nice.[(triple7)] The squirrel is round.[(triple8)] The squirrel needs the cow.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The cow is round.[(((triple9 triple7) -> rule2))] @2: The cow is kind.[(((((triple9 triple7) -> rule2)) -> rule1))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple4
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
((triple8) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple9
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple10
The cow is round.
("cow" "is" "round" "+")
((triple9 triple7) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((((triple9 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2