The mouse chases the tiger. The mouse is green. The mouse is round. The mouse is young. The mouse likes the tiger. The mouse needs the tiger. The tiger chases the mouse. The tiger is cold. The tiger is green. The tiger is not round. The tiger likes the mouse. The tiger needs the mouse. If someone chases the tiger and the tiger does not like the mouse then the mouse chases the tiger. If someone is round then they need the mouse.
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone chases the tiger and the tiger does not like the mouse then the mouse chases the tiger.
((("someone" "chases" "tiger" "+") ("tiger" "likes" "mouse" "~")) -> ("mouse" "chases" "tiger" "+"))
If someone is round then they need the mouse.
((("someone" "is" "round" "+")) -> ("someone" "needs" "mouse" "+"))
The tiger is not round.
True
1
proof
[(triple10)]
("tiger" "is" "round" "-")
triple10
The tiger does not need the mouse.
False
1
inv-proof
[(triple12)]
("tiger" "needs" "mouse" "-")
triple12
The mouse needs the mouse.
True
2
proof
[(((triple3) -> rule2))]
("mouse" "needs" "mouse" "+")
((triple3) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse does not need the mouse.
False
2
inv-proof
[(((triple3) -> rule2))]
("mouse" "needs" "mouse" "-")
((triple3) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The mouse chases the tiger.[(triple1)] The mouse is green.[(triple2)] The mouse is round.[(triple3)] The mouse is young.[(triple4)] The mouse likes the tiger.[(triple5)] The mouse needs the tiger.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger is cold.[(triple8)] The tiger is green.[(triple9)] The tiger is not round.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger needs the mouse.[(triple12)] @1: The mouse needs the mouse.[(((triple3) -> rule2))]
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple1
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is round.
("mouse" "is" "round" "+")
triple3
The mouse is young.
("mouse" "is" "young" "+")
triple4
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple5
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple6
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is not round.
("tiger" "is" "round" "-")
triple10
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple11
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple12
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple3) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1