The bear is nice. The bear likes the lion. The bear likes the squirrel. The bear needs the lion. The bear needs the squirrel. The lion is cold. The squirrel eats the bear. The squirrel eats the lion. The squirrel is round. The squirrel likes the bear. The squirrel needs the bear. The squirrel needs the lion. If someone is round and they eat the lion then the lion is nice. If someone needs the bear and they need the squirrel then they are rough. If someone eats the lion then they are cold. If the squirrel is nice then the squirrel is cold. If someone is kind then they need the squirrel. If someone likes the bear and they eat the lion then they are kind. If someone eats the squirrel and the squirrel likes the bear then they eat the bear. If someone is cold then they need the bear.
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The lion is cold.
("lion" "is" "cold" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone is round and they eat the lion then the lion is nice.
((("someone" "is" "round" "+") ("someone" "eats" "lion" "+")) -> ("lion" "is" "nice" "+"))
If someone needs the bear and they need the squirrel then they are rough.
((("someone" "needs" "bear" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If someone eats the lion then they are cold.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "cold" "+"))
If the squirrel is nice then the squirrel is cold.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "cold" "+"))
If someone is kind then they need the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone likes the bear and they eat the lion then they are kind.
((("someone" "likes" "bear" "+") ("someone" "eats" "lion" "+")) -> ("someone" "is" "kind" "+"))
If someone eats the squirrel and the squirrel likes the bear then they eat the bear.
((("someone" "eats" "squirrel" "+") ("squirrel" "likes" "bear" "+")) -> ("someone" "eats" "bear" "+"))
If someone is cold then they need the bear.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "bear" "+"))
The bear needs the squirrel.
True
1
proof
[(triple5)]
("bear" "needs" "squirrel" "+")
triple5
The squirrel does not like the bear.
False
1
inv-proof
[(triple10)]
("squirrel" "likes" "bear" "-")
triple10
The lion is nice.
True
3
proof
[(((triple9 triple8) -> rule1))]
("lion" "is" "nice" "+")
((triple9 triple8) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is not nice.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("lion" "is" "nice" "-")
((triple9 triple8) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The squirrel needs the squirrel.
True
4
proof
[(((((triple10 triple8) -> rule6)) -> rule5))]
("squirrel" "needs" "squirrel" "+")
((((triple10 triple8) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel does not need the squirrel.
False
4
inv-proof
[(((((triple10 triple8) -> rule6)) -> rule5))]
("squirrel" "needs" "squirrel" "-")
((((triple10 triple8) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is rough.
True
6
proof
[(((triple11 ((((triple10 triple8) -> rule6)) -> rule5)) -> rule2) OR ((((((triple8) -> rule3)) -> rule8) ((((triple10 triple8) -> rule6)) -> rule5)) -> rule2))]
("squirrel" "is" "rough" "+")
((triple11 ((((triple10 triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple8) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple10 triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int4
The squirrel is cold.
("squirrel" "is" "cold" "+")
int5
The squirrel is not rough.
False
6
inv-proof
[(((triple11 ((((triple10 triple8) -> rule6)) -> rule5)) -> rule2) OR ((((((triple8) -> rule3)) -> rule8) ((((triple10 triple8) -> rule6)) -> rule5)) -> rule2))]
("squirrel" "is" "rough" "-")
((triple11 ((((triple10 triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple8) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple10 triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int4
The squirrel is cold.
("squirrel" "is" "cold" "+")
int5
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "cold" "-")
The lion eats the bear.
Unknown
rconc
[@1: The lion eats the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "eats" "bear" "+")
The bear is not rough.
Unknown
inv-rconc
[@3: The bear is rough.[CWA. Example of deepest failure = (rule2 <- rule8 <- rule3 <- FAIL)]]
("bear" "is" "rough" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "kind" "+")
The squirrel does not like the lion.
Unknown
inv-random
[@0: The squirrel likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "lion" "-")
The lion eats the squirrel.
Unknown
random
[@0: The lion eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "squirrel" "+")
The bear does not eat the lion.
Unknown
inv-random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "-")
The lion likes the bear.
Unknown
random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "+")
@0: The bear is nice.[(triple1)] The bear likes the lion.[(triple2)] The bear likes the squirrel.[(triple3)] The bear needs the lion.[(triple4)] The bear needs the squirrel.[(triple5)] The lion is cold.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel eats the lion.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel needs the bear.[(triple11 OR ((((triple8) -> rule3)) -> rule8))] The squirrel needs the lion.[(triple12)] @1: The lion is nice.[(((triple9 triple8) -> rule1))] The lion needs the bear.[(((triple6) -> rule8))] The squirrel is cold.[(((triple8) -> rule3))] The squirrel is kind.[(((triple10 triple8) -> rule6))] @2: The squirrel needs the squirrel.[(((((triple10 triple8) -> rule6)) -> rule5))] @3: The squirrel is rough.[(((triple11 ((((triple10 triple8) -> rule6)) -> rule5)) -> rule2) OR ((((((triple8) -> rule3)) -> rule8) ((((triple10 triple8) -> rule6)) -> rule5)) -> rule2))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear likes the lion.
("bear" "likes" "lion" "+")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The bear needs the lion.
("bear" "needs" "lion" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple5
The lion is cold.
("lion" "is" "cold" "+")
triple6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple7
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple8
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple10
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple11
((((triple8) -> (rule3 % int2))) -> (rule8 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple12
The lion is nice.
("lion" "is" "nice" "+")
((triple9 triple8) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion needs the bear.
("lion" "needs" "bear" "+")
((triple6) -> (rule8 % int1))
The lion needs the bear.
("lion" "needs" "bear" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple8) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple10 triple8) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((((triple10 triple8) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple11 ((((triple10 triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple8) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple10 triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int4
The squirrel is cold.
("squirrel" "is" "cold" "+")
int5