The lion eats the mouse. The lion is green. The lion sees the mouse. The lion visits the tiger. The mouse is red. The mouse sees the lion. The tiger eats the lion. The tiger eats the mouse. The tiger is cold. The tiger is red. The tiger is round. The tiger is young. The tiger sees the lion. The tiger sees the mouse. The tiger visits the lion. The tiger visits the mouse. All green things are cold. If something is cold then it eats the lion. If something visits the mouse then the mouse visits the lion. If something visits the mouse and it is red then the mouse is round. If something is round and red then it is green. If the tiger is red then the tiger eats the mouse.
The mouse is not cold.
@0: The lion eats the mouse.[(triple1)] The lion is green.[(triple2)] The lion sees the mouse.[(triple3)] The lion visits the tiger.[(triple4)] The mouse is red.[(triple5)] The mouse sees the lion.[(triple6)] The tiger eats the lion.[(triple7 OR ((triple9) -> rule2) OR ((((((triple11 triple10) -> rule5)) -> rule1)) -> rule2))] The tiger eats the mouse.[(triple8 OR ((triple10) -> rule6))] The tiger is cold.[(triple9 OR ((((triple11 triple10) -> rule5)) -> rule1))] The tiger is red.[(triple10)] The tiger is round.[(triple11)] The tiger is young.[(triple12)] The tiger sees the lion.[(triple13)] The tiger sees the mouse.[(triple14)] The tiger visits the lion.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The lion is cold.[(((triple2) -> rule1))] The mouse is round.[(((triple16 triple10) -> rule4))] The mouse visits the lion.[(((triple16) -> rule3))] The tiger is green.[(((triple11 triple10) -> rule5))] @2: The lion eats the lion.[(((((triple2) -> rule1)) -> rule2))] The mouse is green.[(((((triple16 triple10) -> rule4) triple5) -> rule5))] @3: The mouse is cold.[(((((((triple16 triple10) -> rule4) triple5) -> rule5)) -> rule1))] @4: The mouse eats the lion.[(((((((((triple16 triple10) -> rule4) triple5) -> rule5)) -> rule1)) -> rule2))]