The mouse eats the tiger. The mouse is cold. The mouse is nice. The mouse is round. The mouse is young. The mouse likes the tiger. The mouse visits the tiger. The tiger eats the mouse. The tiger is cold. The tiger is nice. The tiger is rough. The tiger is round. The tiger is young. The tiger likes the mouse. The tiger visits the mouse. If someone is young and they visit the mouse then the mouse likes the tiger. If someone eats the tiger then they are cold. If someone eats the tiger then they like the mouse. If the mouse is young and the mouse is nice then the mouse is round. If someone is young and they visit the mouse then the mouse is nice. If someone visits the tiger and they visit the mouse then they are nice.
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If someone is young and they visit the mouse then the mouse likes the tiger.
((("someone" "is" "young" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "likes" "tiger" "+"))
If someone eats the tiger then they are cold.
((("someone" "eats" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If someone eats the tiger then they like the mouse.
((("someone" "eats" "tiger" "+")) -> ("someone" "likes" "mouse" "+"))
If the mouse is young and the mouse is nice then the mouse is round.
((("mouse" "is" "young" "+") ("mouse" "is" "nice" "+")) -> ("mouse" "is" "round" "+"))
If someone is young and they visit the mouse then the mouse is nice.
((("someone" "is" "young" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If someone visits the tiger and they visit the mouse then they are nice.
((("someone" "visits" "tiger" "+") ("someone" "visits" "mouse" "+")) -> ("someone" "is" "nice" "+"))
The tiger is rough.
True
1
proof
[(triple11)]
("tiger" "is" "rough" "+")
triple11
The tiger is not nice.
False
1
inv-proof
[(triple10)]
("tiger" "is" "nice" "-")
triple10
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 tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The mouse eats the tiger.[(triple1)] The mouse is cold.[(triple2 OR ((triple1) -> rule2))] The mouse is nice.[(triple3 OR ((triple13 triple15) -> rule5))] The mouse is round.[(triple4 OR ((triple5 triple3) -> rule4) OR ((triple5 ((triple13 triple15) -> rule5)) -> rule4))] The mouse is young.[(triple5)] The mouse likes the tiger.[(triple6 OR ((triple13 triple15) -> rule1))] The mouse visits the tiger.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger is cold.[(triple9)] The tiger is nice.[(triple10)] The tiger is rough.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The mouse likes the mouse.[(((triple1) -> rule3))]
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
((triple1) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
((triple13 triple15) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
triple4
((triple5 triple3) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((triple5 ((triple13 triple15) -> (rule5 % int2))) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple6
((triple13 triple15) -> (rule1 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple7
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger is round.
("tiger" "is" "round" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple14
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple15
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple1) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1