The bear is cold. The bear likes the lion. The bear needs the cat. The bear sees the cat. The cat is big. The cat is blue. The cat is cold. The cat likes the lion. The cat needs the bear. The cat sees the bear. The lion is blue. The lion is round. The lion likes the cat. The lion needs the bear. The lion sees the bear. If something likes the cat and the cat is big then it needs the lion. If something needs the bear then it likes the bear. If something is cold and it needs the cat then it likes the cat. If the cat likes the bear and the cat is big then the cat sees the bear. If the cat likes the lion and the cat is big then the cat is rough. If something needs the bear and the bear is big then the bear likes the cat. If something is rough then it likes the cat. If something likes the lion and it is cold then the lion sees the cat.
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
If something likes the cat and the cat is big then it needs the lion.
((("something" "likes" "cat" "+") ("cat" "is" "big" "+")) -> ("something" "needs" "lion" "+"))
If something needs the bear then it likes the bear.
((("something" "needs" "bear" "+")) -> ("something" "likes" "bear" "+"))
If something is cold and it needs the cat then it likes the cat.
((("something" "is" "cold" "+") ("something" "needs" "cat" "+")) -> ("something" "likes" "cat" "+"))
If the cat likes the bear and the cat is big then the cat sees the bear.
((("cat" "likes" "bear" "+") ("cat" "is" "big" "+")) -> ("cat" "sees" "bear" "+"))
If the cat likes the lion and the cat is big then the cat is rough.
((("cat" "likes" "lion" "+") ("cat" "is" "big" "+")) -> ("cat" "is" "rough" "+"))
If something needs the bear and the bear is big then the bear likes the cat.
((("something" "needs" "bear" "+") ("bear" "is" "big" "+")) -> ("bear" "likes" "cat" "+"))
If something is rough then it likes the cat.
((("something" "is" "rough" "+")) -> ("something" "likes" "cat" "+"))
If something likes the lion and it is cold then the lion sees the cat.
((("something" "likes" "lion" "+") ("something" "is" "cold" "+")) -> ("lion" "sees" "cat" "+"))
The lion is round.
True
1
proof
[(triple12)]
("lion" "is" "round" "+")
triple12
The cat does not like the lion.
False
1
inv-proof
[(triple8)]
("cat" "likes" "lion" "-")
triple8
The cat likes the bear.
True
2
proof
[(((triple9) -> rule2))]
("cat" "likes" "bear" "+")
((triple9) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat does not like the bear.
False
2
inv-proof
[(((triple9) -> rule2))]
("cat" "likes" "bear" "-")
((triple9) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat likes the cat.
True
4
proof
[(((((triple8 triple5) -> rule5)) -> rule7))]
("cat" "likes" "cat" "+")
((((triple8 triple5) -> (rule5 % int2))) -> (rule7 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The bear does not need the lion.
False
5
inv-proof
[(((((triple1 triple3) -> rule3) triple5) -> rule1))]
("bear" "needs" "lion" "-")
((((triple1 triple3) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "bear" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The lion needs the cat.
Unknown
random
[@0: The lion needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "cat" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The bear is cold.[(triple1)] The bear likes the lion.[(triple2)] The bear needs the cat.[(triple3)] The bear sees the cat.[(triple4)] The cat is big.[(triple5)] The cat is blue.[(triple6)] The cat is cold.[(triple7)] The cat likes the lion.[(triple8)] The cat needs the bear.[(triple9)] The cat sees the bear.[(triple10 OR ((((triple9) -> rule2) triple5) -> rule4))] The lion is blue.[(triple11)] The lion is round.[(triple12)] The lion likes the cat.[(triple13)] The lion needs the bear.[(triple14)] The lion sees the bear.[(triple15)] @1: The bear likes the cat.[(((triple1 triple3) -> rule3))] The cat is rough.[(((triple8 triple5) -> rule5))] The cat likes the bear.[(((triple9) -> rule2))] The lion likes the bear.[(((triple14) -> rule2))] The lion needs the lion.[(((triple13 triple5) -> rule1))] The lion sees the cat.[(((triple2 triple1) -> rule8) OR ((triple8 triple7) -> rule8))] @2: The bear needs the lion.[(((((triple1 triple3) -> rule3) triple5) -> rule1))] The cat likes the cat.[(((((triple8 triple5) -> rule5)) -> rule7))] @3: The cat needs the lion.[(((((((triple8 triple5) -> rule5)) -> rule7) triple5) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear likes the lion.
("bear" "likes" "lion" "+")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple4
The cat is big.
("cat" "is" "big" "+")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple6
The cat is cold.
("cat" "is" "cold" "+")
triple7
The cat likes the lion.
("cat" "likes" "lion" "+")
triple8
The cat needs the bear.
("cat" "needs" "bear" "+")
triple9
The cat sees the bear.
("cat" "sees" "bear" "+")
triple10
((((triple9) -> (rule2 % int2)) triple5) -> (rule4 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The lion likes the cat.
("lion" "likes" "cat" "+")
triple13
The lion needs the bear.
("lion" "needs" "bear" "+")
triple14
The lion sees the bear.
("lion" "sees" "bear" "+")
triple15
The bear likes the cat.
("bear" "likes" "cat" "+")
((triple1 triple3) -> (rule3 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple8 triple5) -> (rule5 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
((triple9) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
((triple14) -> (rule2 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple13 triple5) -> (rule1 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion sees the cat.
("lion" "sees" "cat" "+")
((triple2 triple1) -> (rule8 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
((triple8 triple7) -> (rule8 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The bear needs the lion.
("bear" "needs" "lion" "+")
((((triple1 triple3) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
((((triple8 triple5) -> (rule5 % int2))) -> (rule7 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat needs the lion.
("cat" "needs" "lion" "+")
((((((triple8 triple5) -> (rule5 % int3))) -> (rule7 % int2)) triple5) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3