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