The lion chases the mouse. The lion eats the mouse. The lion is big. The lion is blue. The lion is green. The lion is nice. The lion is red. The lion sees the mouse. The mouse chases the lion. The mouse eats the lion. The mouse is blue. The mouse is green. The mouse is nice. The mouse is red. The mouse sees the lion. If someone is big and they eat the mouse then they chase the lion. If someone chases the mouse then they are red. If the lion sees the mouse then the mouse is red.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If someone is big and they eat the mouse then they chase the lion.
((("someone" "is" "big" "+") ("someone" "eats" "mouse" "+")) -> ("someone" "chases" "lion" "+"))
If someone chases the mouse then they are red.
((("someone" "chases" "mouse" "+")) -> ("someone" "is" "red" "+"))
If the lion sees the mouse then the mouse is red.
((("lion" "sees" "mouse" "+")) -> ("mouse" "is" "red" "+"))
The mouse eats the lion.
True
1
proof
[(triple10)]
("mouse" "eats" "lion" "+")
triple10
The mouse is not blue.
False
1
inv-proof
[(triple11)]
("mouse" "is" "blue" "-")
triple11
The lion chases the lion.
True
3
proof
[(((triple3 triple2) -> rule1))]
("lion" "chases" "lion" "+")
((triple3 triple2) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion does not chase the lion.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("lion" "chases" "lion" "-")
((triple3 triple2) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The lion chases the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The lion is big.[(triple3)] The lion is blue.[(triple4)] The lion is green.[(triple5)] The lion is nice.[(triple6)] The lion is red.[(triple7 OR ((triple1) -> rule2))] The lion sees the mouse.[(triple8)] The mouse chases the lion.[(triple9)] The mouse eats the lion.[(triple10)] The mouse is blue.[(triple11)] The mouse is green.[(triple12)] The mouse is nice.[(triple13)] The mouse is red.[(triple14 OR ((triple8) -> rule3))] The mouse sees the lion.[(triple15)] @1: The lion chases the lion.[(((triple3 triple2) -> rule1))]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple2
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is blue.
("lion" "is" "blue" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple5
The lion is nice.
("lion" "is" "nice" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
((triple1) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple8
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple9
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple10
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The mouse is green.
("mouse" "is" "green" "+")
triple12
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The mouse is red.
("mouse" "is" "red" "+")
triple14
((triple8) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple15
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple3 triple2) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1