The bear is big. The bear is kind. The bear likes the cat. The bear needs the squirrel. The bear visits the squirrel. The cat is red. The cat is rough. The cat likes the squirrel. The cat needs the bear. The cat needs the squirrel. The cat visits the bear. The squirrel is big. The squirrel is nice. The squirrel likes the cat. The squirrel needs the bear. The squirrel visits the bear. If someone needs the bear and the bear visits the cat then the bear likes the squirrel. If someone needs the cat then the cat is kind. If someone visits the bear then the bear visits the squirrel. If the bear is rough and the bear likes the cat then the bear is big. If someone visits the squirrel then the squirrel needs the cat. If someone is kind then they visit the bear. If someone is nice and they like the squirrel then the squirrel visits the cat. If someone visits the squirrel then they like the squirrel.
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone needs the bear and the bear visits the cat then the bear likes the squirrel.
((("someone" "needs" "bear" "+") ("bear" "visits" "cat" "+")) -> ("bear" "likes" "squirrel" "+"))
If someone needs the cat then the cat is kind.
((("someone" "needs" "cat" "+")) -> ("cat" "is" "kind" "+"))
If someone visits the bear then the bear visits the squirrel.
((("someone" "visits" "bear" "+")) -> ("bear" "visits" "squirrel" "+"))
If the bear is rough and the bear likes the cat then the bear is big.
((("bear" "is" "rough" "+") ("bear" "likes" "cat" "+")) -> ("bear" "is" "big" "+"))
If someone visits the squirrel then the squirrel needs the cat.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "needs" "cat" "+"))
If someone is kind then they visit the bear.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "bear" "+"))
If someone is nice and they like the squirrel then the squirrel visits the cat.
((("someone" "is" "nice" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "visits" "cat" "+"))
If someone visits the squirrel then they like the squirrel.
((("someone" "visits" "squirrel" "+")) -> ("someone" "likes" "squirrel" "+"))
The cat is red.
True
1
proof
[(triple6)]
("cat" "is" "red" "+")
triple6
The cat is not rough.
False
1
inv-proof
[(triple7)]
("cat" "is" "rough" "-")
triple7
The bear visits the bear.
True
2
proof
[(((triple2) -> rule6))]
("bear" "visits" "bear" "+")
((triple2) -> (rule6 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
2
inv-proof
[(((triple2) -> rule6))]
("bear" "visits" "bear" "-")
((triple2) -> (rule6 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel visits the cat.
Unknown
rconc
[@2: The squirrel visits the cat.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("squirrel" "visits" "cat" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear likes the cat.[(triple3)] The bear needs the squirrel.[(triple4)] The bear visits the squirrel.[(triple5 OR ((triple11) -> rule3) OR ((triple16) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] The cat is red.[(triple6)] The cat is rough.[(triple7)] The cat likes the squirrel.[(triple8)] The cat needs the bear.[(triple9)] The cat needs the squirrel.[(triple10)] The cat visits the bear.[(triple11 OR ((((((triple5) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple16) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((((((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule2)) -> rule6))] The squirrel is big.[(triple12)] The squirrel is nice.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel needs the bear.[(triple15)] The squirrel visits the bear.[(triple16)] @1: The bear likes the squirrel.[(((triple5) -> rule8) OR ((((triple11) -> rule3)) -> rule8) OR ((((triple16) -> rule3)) -> rule8) OR ((((((triple2) -> rule6)) -> rule3)) -> rule8))] The bear visits the bear.[(((triple2) -> rule6))] The squirrel needs the cat.[(((triple5) -> rule5) OR ((((triple11) -> rule3)) -> rule5) OR ((((triple16) -> rule3)) -> rule5) OR ((((((triple2) -> rule6)) -> rule3)) -> rule5))] @2: The cat is kind.[(((((triple5) -> rule5)) -> rule2) OR ((((((triple11) -> rule3)) -> rule5)) -> rule2) OR ((((((triple16) -> rule3)) -> rule5)) -> rule2) OR ((((((((triple2) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear likes the cat.
("bear" "likes" "cat" "+")
triple3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple5
((triple11) -> (rule3 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
((triple16) -> (rule3 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The cat is red.
("cat" "is" "red" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple8
The cat needs the bear.
("cat" "needs" "bear" "+")
triple9
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple10
The cat visits the bear.
("cat" "visits" "bear" "+")
triple11
((((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int3
((((((((triple16) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int4
((((((((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int4
The bear visits the bear.
("bear" "visits" "bear" "+")
int5
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple14
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple15
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple16
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
((triple5) -> (rule8 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule8 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
((((triple16) -> (rule3 % int2))) -> (rule8 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple2) -> (rule6 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
((triple5) -> (rule5 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
((((triple16) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
((((triple5) -> (rule5 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
((((((triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int3
((((((triple16) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int3
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int3
The bear visits the bear.
("bear" "visits" "bear" "+")
int4