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