The bear chases the lion. The bear chases the mouse. The bear eats the mouse. The bear is blue. The bear is round. The bear needs the mouse. The lion eats the mouse. The lion is red. The lion needs the bear. The lion needs the mouse. The mouse chases the lion. The mouse eats the bear. The mouse is big. The mouse is round. The mouse needs the bear. The mouse needs the lion. If someone chases the mouse and the mouse is round then they need the mouse. If someone is round and big then they chase the mouse.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If someone chases the mouse and the mouse is round then they need the mouse.
((("someone" "chases" "mouse" "+") ("mouse" "is" "round" "+")) -> ("someone" "needs" "mouse" "+"))
If someone is round and big then they chase the mouse.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "chases" "mouse" "+"))
The lion needs the mouse.
True
1
proof
[(triple10)]
("lion" "needs" "mouse" "+")
triple10
The mouse does not eat the bear.
False
1
inv-proof
[(triple12)]
("mouse" "eats" "bear" "-")
triple12
The mouse chases the mouse.
True
3
proof
[(((triple14 triple13) -> rule2))]
("mouse" "chases" "mouse" "+")
((triple14 triple13) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
3
inv-proof
[(((triple14 triple13) -> rule2))]
("mouse" "chases" "mouse" "-")
((triple14 triple13) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The lion does not chase the mouse.
Unknown
inv-rconc
[@1: The lion chases the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "mouse" "-")
The lion eats the bear.
Unknown
random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "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 bear eats the lion.
Unknown
random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "+")
@0: The bear chases the lion.[(triple1)] The bear chases the mouse.[(triple2)] The bear eats the mouse.[(triple3)] The bear is blue.[(triple4)] The bear is round.[(triple5)] The bear needs the mouse.[(triple6 OR ((triple2 triple14) -> rule1))] The lion eats the mouse.[(triple7)] The lion is red.[(triple8)] The lion needs the bear.[(triple9)] The lion needs the mouse.[(triple10)] The mouse chases the lion.[(triple11)] The mouse eats the bear.[(triple12)] The mouse is big.[(triple13)] The mouse is round.[(triple14)] The mouse needs the bear.[(triple15)] The mouse needs the lion.[(triple16)] @1: The mouse chases the mouse.[(((triple14 triple13) -> rule2))] @2: The mouse needs the mouse.[(((((triple14 triple13) -> rule2) triple14) -> rule1))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple6
((triple2 triple14) -> (rule1 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple7
The lion is red.
("lion" "is" "red" "+")
triple8
The lion needs the bear.
("lion" "needs" "bear" "+")
triple9
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple10
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple11
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple12
The mouse is big.
("mouse" "is" "big" "+")
triple13
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple15
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple16
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple14 triple13) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((triple14 triple13) -> (rule2 % int2)) triple14) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2