The cow eats the dog. The cow eats the squirrel. The cow is green. The cow is kind. The cow is red. The dog likes the squirrel. The dog likes the tiger. The dog visits the squirrel. The dog visits the tiger. The squirrel is kind. The squirrel is round. The squirrel likes the cow. The squirrel visits the tiger. The tiger eats the cow. The tiger is kind. If something eats the tiger then the tiger is red. If something likes the tiger and the tiger eats the cow then the cow likes the tiger. If something eats the dog then the dog eats the tiger.
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If something eats the tiger then the tiger is red.
((("something" "eats" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If something likes the tiger and the tiger eats the cow then the cow likes the tiger.
((("something" "likes" "tiger" "+") ("tiger" "eats" "cow" "+")) -> ("cow" "likes" "tiger" "+"))
If something eats the dog then the dog eats the tiger.
((("something" "eats" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
The cow eats the dog.
True
1
proof
[(triple1)]
("cow" "eats" "dog" "+")
triple1
The squirrel does not like the cow.
False
1
inv-proof
[(triple12)]
("squirrel" "likes" "cow" "-")
triple12
The dog eats the tiger.
True
2
proof
[(((triple1) -> rule3))]
("dog" "eats" "tiger" "+")
((triple1) -> (rule3 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The cow does not like the tiger.
False
3
inv-proof
[(((triple7 triple14) -> rule2))]
("cow" "likes" "tiger" "-")
((triple7 triple14) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The tiger is red.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("tiger" "is" "red" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int2
The tiger is not red.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("tiger" "is" "red" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int2
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The cow does not like the dog.
Unknown
inv-random
[@0: The cow likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "dog" "-")
The squirrel likes the dog.
Unknown
random
[@0: The squirrel likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "dog" "+")
The dog does not visit the cow.
Unknown
inv-random
[@0: The dog visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cow" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The cow eats the dog.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is red.[(triple5)] The dog likes the squirrel.[(triple6)] The dog likes the tiger.[(triple7)] The dog visits the squirrel.[(triple8)] The dog visits the tiger.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is round.[(triple11)] The squirrel likes the cow.[(triple12)] The squirrel visits the tiger.[(triple13)] The tiger eats the cow.[(triple14)] The tiger is kind.[(triple15)] @1: The cow likes the tiger.[(((triple7 triple14) -> rule2))] The dog eats the tiger.[(((triple1) -> rule3))] @2: The tiger is red.[(((((triple1) -> rule3)) -> rule1))]
The cow eats the dog.
("cow" "eats" "dog" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple6
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple7
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple8
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
triple11
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple12
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple13
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple14
The tiger is kind.
("tiger" "is" "kind" "+")
triple15
The cow likes the tiger.
("cow" "likes" "tiger" "+")
((triple7 triple14) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
((triple1) -> (rule3 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int2