The cat likes the cow. The cat needs the lion. The cat does not see the lion. The cow is big. The cow is not nice. The cow is rough. The cow likes the cat. The cow likes the lion. The cow needs the cat. The cow needs the lion. The cow sees the cat. The cow sees the lion. The lion likes the cow. The lion needs the cat. The lion sees the cat. The lion sees the cow. If something sees the cat then the cat is nice.
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat does not see the lion.
("cat" "sees" "lion" "-")
The cow is big.
("cow" "is" "big" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
If something sees the cat then the cat is nice.
((("something" "sees" "cat" "+")) -> ("cat" "is" "nice" "+"))
The cat does not see the lion.
True
1
proof
[(triple3)]
("cat" "sees" "lion" "-")
triple3
The cat sees the lion.
False
1
inv-proof
[(triple3)]
("cat" "sees" "lion" "+")
triple3
The cat is nice.
True
2
proof
[(((triple11) -> rule1) OR ((triple15) -> rule1))]
("cat" "is" "nice" "+")
((triple11) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((triple15) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is not nice.
False
2
inv-proof
[(((triple11) -> rule1) OR ((triple15) -> rule1))]
("cat" "is" "nice" "-")
((triple11) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((triple15) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion likes the cat.
Unknown
random
[@0: The lion likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cat" "+")
@0: The cat does not see the lion.[(triple3)] The cat likes the cow.[(triple1)] The cat needs the lion.[(triple2)] The cow is big.[(triple4)] The cow is not nice.[(triple5)] The cow is rough.[(triple6)] The cow likes the cat.[(triple7)] The cow likes the lion.[(triple8)] The cow needs the cat.[(triple9)] The cow needs the lion.[(triple10)] The cow sees the cat.[(triple11)] The cow sees the lion.[(triple12)] The lion likes the cow.[(triple13)] The lion needs the cat.[(triple14)] The lion sees the cat.[(triple15)] The lion sees the cow.[(triple16)] @1: The cat is nice.[(((triple11) -> rule1) OR ((triple15) -> rule1))]
The cat does not see the lion.
("cat" "sees" "lion" "-")
triple3
The cat likes the cow.
("cat" "likes" "cow" "+")
triple1
The cat needs the lion.
("cat" "needs" "lion" "+")
triple2
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is not nice.
("cow" "is" "nice" "-")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow likes the cat.
("cow" "likes" "cat" "+")
triple7
The cow likes the lion.
("cow" "likes" "lion" "+")
triple8
The cow needs the cat.
("cow" "needs" "cat" "+")
triple9
The cow needs the lion.
("cow" "needs" "lion" "+")
triple10
The cow sees the cat.
("cow" "sees" "cat" "+")
triple11
The cow sees the lion.
("cow" "sees" "lion" "+")
triple12
The lion likes the cow.
("lion" "likes" "cow" "+")
triple13
The lion needs the cat.
("lion" "needs" "cat" "+")
triple14
The lion sees the cat.
("lion" "sees" "cat" "+")
triple15
The lion sees the cow.
("lion" "sees" "cow" "+")
triple16
The cat is nice.
("cat" "is" "nice" "+")
((triple11) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((triple15) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1