The mouse chases the tiger. The mouse is big. The mouse is blue. The mouse is green. The mouse is kind. The mouse is round. The mouse likes the tiger. The mouse visits the tiger. The tiger chases the mouse. The tiger is big. The tiger is blue. The tiger is green. The tiger is kind. The tiger is round. The tiger likes the mouse. The tiger visits the mouse. If someone likes the tiger then they like the mouse.
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If someone likes the tiger then they like the mouse.
((("someone" "likes" "tiger" "+")) -> ("someone" "likes" "mouse" "+"))
The tiger visits the mouse.
True
1
proof
[(triple16)]
("tiger" "visits" "mouse" "+")
triple16
The tiger is not kind.
False
1
inv-proof
[(triple13)]
("tiger" "is" "kind" "-")
triple13
The mouse likes the mouse.
True
2
proof
[(((triple7) -> rule1))]
("mouse" "likes" "mouse" "+")
((triple7) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
False
2
inv-proof
[(((triple7) -> rule1))]
("mouse" "likes" "mouse" "-")
((triple7) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
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 tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The mouse chases the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is blue.[(triple3)] The mouse is green.[(triple4)] The mouse is kind.[(triple5)] The mouse is round.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse visits the tiger.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger is round.[(triple14)] The tiger likes the mouse.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The mouse likes the mouse.[(((triple7) -> rule1))]
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The mouse is blue.
("mouse" "is" "blue" "+")
triple3
The mouse is green.
("mouse" "is" "green" "+")
triple4
The mouse is kind.
("mouse" "is" "kind" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple7
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple8
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger is kind.
("tiger" "is" "kind" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple15
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple16
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple7) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1