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