The mouse eats the tiger. The mouse is big. The mouse is cold. The mouse is nice. The mouse is rough. The mouse is round. The mouse likes the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is big. The tiger is cold. The tiger is nice. The tiger is rough. The tiger is round. The tiger likes the mouse. The tiger sees the mouse. If something likes the tiger then it is round.
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is big.
("tiger" "is" "big" "+")
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 likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If something likes the tiger then it is round.
((("something" "likes" "tiger" "+")) -> ("something" "is" "round" "+"))
The mouse is rough.
True
1
proof
[(triple5)]
("mouse" "is" "rough" "+")
triple5
The mouse does not eat the tiger.
False
1
inv-proof
[(triple1)]
("mouse" "eats" "tiger" "-")
triple1
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 eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The mouse eats the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is cold.[(triple3)] The mouse is nice.[(triple4)] The mouse is rough.[(triple5)] The mouse is round.[(triple6 OR ((triple7) -> rule1))] The mouse likes the tiger.[(triple7)] The mouse sees the tiger.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is nice.[(triple12)] The tiger is rough.[(triple13)] The tiger is round.[(triple14)] The tiger likes the mouse.[(triple15)] The tiger sees the mouse.[(triple16)]
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
((triple7) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple7
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple8
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple15
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple16