The mouse chases the tiger. The mouse is big. The mouse is cold. The mouse is nice. The mouse is red. The mouse needs the tiger. The mouse visits the tiger. The tiger is big. The tiger is red. The tiger visits the mouse. If the tiger is red and the tiger needs the mouse then the tiger is cold. If something visits the tiger and the tiger chases the mouse then the tiger is red. If something is nice and cold then it visits the tiger. If something needs the mouse then it is round. If something is round then it chases the tiger. If something needs the tiger and it chases the tiger then the tiger needs the mouse.
The tiger is nice.
@0: The mouse chases the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is cold.[(triple3)] The mouse is nice.[(triple4)] The mouse is red.[(triple5)] The mouse needs the tiger.[(triple6)] The mouse visits the tiger.[(triple7 OR ((triple4 triple3) -> rule3))] The tiger is big.[(triple8)] The tiger is red.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The tiger needs the mouse.[(((triple6 triple1) -> rule6))] @2: The tiger is cold.[(((triple9 ((triple6 triple1) -> rule6)) -> rule1))] The tiger is round.[(((((triple6 triple1) -> rule6)) -> rule4))] @3: The tiger chases the tiger.[(((((((triple6 triple1) -> rule6)) -> rule4)) -> rule5))]