The cat eats the cow. The cat is big. The cat is blue. The cat is nice. The cat is round. The cat is young. The cat likes the cow. The cat sees the cow. The cow eats the cat. The cow is nice. The cow likes the cat. The cow sees the cat. If something likes the cat then the cat eats the cow. If something is round then it does not like the cat. If something is young and not round then it is nice.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
If something likes the cat then the cat eats the cow.
((("something" "likes" "cat" "+")) -> ("cat" "eats" "cow" "+"))
If something is round then it does not like the cat.
((("something" "is" "round" "+")) -> ("something" "likes" "cat" "-"))
If something is young and not round then it is nice.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "nice" "+"))
The cat is blue.
True
1
proof
[(triple3)]
("cat" "is" "blue" "+")
triple3
The cat does not eat the cow.
False
1
inv-proof
[(triple1 OR ((triple11) -> rule1))]
("cat" "eats" "cow" "-")
triple1
((triple11) -> (rule1 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat does not like the cat.
True
2
proof
[(((triple5) -> rule2))]
("cat" "likes" "cat" "-")
((triple5) -> (rule2 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The cat likes the cat.
False
2
inv-proof
[(((triple5) -> rule2))]
("cat" "likes" "cat" "+")
((triple5) -> (rule2 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The cat eats the cow.[(triple1 OR ((triple11) -> rule1))] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is nice.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat likes the cow.[(triple7)] The cat sees the cow.[(triple8)] The cow eats the cat.[(triple9)] The cow is nice.[(triple10)] The cow likes the cat.[(triple11)] The cow sees the cat.[(triple12)] @1: The cat does not like the cat.[(((triple5) -> rule2))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
((triple11) -> (rule1 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The cat likes the cow.
("cat" "likes" "cow" "+")
triple7
The cat sees the cow.
("cat" "sees" "cow" "+")
triple8
The cow eats the cat.
("cow" "eats" "cat" "+")
triple9
The cow is nice.
("cow" "is" "nice" "+")
triple10
The cow likes the cat.
("cow" "likes" "cat" "+")
triple11
The cow sees the cat.
("cow" "sees" "cat" "+")
triple12
The cat does not like the cat.
("cat" "likes" "cat" "-")
((triple5) -> (rule2 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1