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