The bear does not eat the rabbit. The bear is big. The bear is kind. The bear is rough. The bear is young. The rabbit eats the bear. The rabbit eats the squirrel. The rabbit is big. The rabbit is red. The rabbit is rough. The rabbit is young. The rabbit needs the bear. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is not red. The squirrel needs the bear. If something is young and it eats the rabbit then it is big. If something is red then it eats the squirrel. If something needs the bear then the bear is red.
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something is young and it eats the rabbit then it is big.
((("something" "is" "young" "+") ("something" "eats" "rabbit" "+")) -> ("something" "is" "big" "+"))
If something is red then it eats the squirrel.
((("something" "is" "red" "+")) -> ("something" "eats" "squirrel" "+"))
If something needs the bear then the bear is red.
((("something" "needs" "bear" "+")) -> ("bear" "is" "red" "+"))
The rabbit is rough.
True
1
proof
[(triple10)]
("rabbit" "is" "rough" "+")
triple10
The bear is not kind.
False
1
inv-proof
[(triple3)]
("bear" "is" "kind" "-")
triple3
The bear is red.
True
2
proof
[(((triple12) -> rule3) OR ((triple16) -> rule3))]
("bear" "is" "red" "+")
((triple12) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple16) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is not red.
False
2
inv-proof
[(((triple12) -> rule3) OR ((triple16) -> rule3))]
("bear" "is" "red" "-")
((triple12) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple16) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the squirrel.
True
3
proof
[(((((triple12) -> rule3)) -> rule2) OR ((((triple16) -> rule3)) -> rule2))]
("bear" "eats" "squirrel" "+")
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
((((triple16) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear does not eat the squirrel.
False
3
inv-proof
[(((((triple12) -> rule3)) -> rule2) OR ((((triple16) -> rule3)) -> rule2))]
("bear" "eats" "squirrel" "-")
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
((((triple16) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The squirrel is not big.
Unknown
inv-rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "big" "-")
The squirrel eats the squirrel.
Unknown
rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel does not need the rabbit.
Unknown
inv-random
[@0: The squirrel needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "rabbit" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The squirrel does not see the bear.
Unknown
inv-random
[@0: The squirrel sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bear" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The bear does not eat the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The rabbit eats the bear.[(triple6)] The rabbit eats the squirrel.[(triple7 OR ((triple9) -> rule2))] The rabbit is big.[(triple8)] The rabbit is red.[(triple9)] The rabbit is rough.[(triple10)] The rabbit is young.[(triple11)] The rabbit needs the bear.[(triple12)] The rabbit sees the squirrel.[(triple13)] The squirrel eats the rabbit.[(triple14)] The squirrel is not red.[(triple15)] The squirrel needs the bear.[(triple16)] @1: The bear is red.[(((triple12) -> rule3) OR ((triple16) -> rule3))] @2: The bear eats the squirrel.[(((((triple12) -> rule3)) -> rule2) OR ((((triple16) -> rule3)) -> rule2))]
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple6
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple7
((triple9) -> (rule2 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple12
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple13
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple14
The squirrel is not red.
("squirrel" "is" "red" "-")
triple15
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple16
The bear is red.
("bear" "is" "red" "+")
((triple12) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
((triple16) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
((((triple16) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2