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