The mouse chases the tiger. The mouse is cold. The rabbit chases the squirrel. The rabbit is nice. The rabbit needs the mouse. The rabbit needs the tiger. The rabbit visits the mouse. The rabbit visits the tiger. The squirrel chases the mouse. The squirrel is round. The squirrel needs the rabbit. The squirrel needs the tiger. The squirrel does not visit the mouse. The tiger chases the mouse. The tiger is nice. The tiger is not round. If someone visits the rabbit then they visit the tiger. If someone needs the rabbit then they visit the tiger. If the squirrel needs the mouse then the mouse needs the tiger. If someone is cold and they need the tiger then they are nice. If the squirrel needs the rabbit and the rabbit needs the mouse then the squirrel is nice. If someone is round then they need the tiger. If someone is nice then they need the mouse. If someone visits the squirrel then the squirrel is red. If the squirrel does not need the tiger then the tiger needs the squirrel.
The mouse is nice.
@0: The mouse chases the tiger.[(triple1)] The mouse is cold.[(triple2)] The rabbit chases the squirrel.[(triple3)] The rabbit is nice.[(triple4)] The rabbit needs the mouse.[(triple5 OR ((triple4) -> rule7))] The rabbit needs the tiger.[(triple6)] The rabbit visits the mouse.[(triple7)] The rabbit visits the tiger.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel does not visit the mouse.[(triple13)] The squirrel is round.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel needs the tiger.[(triple12 OR ((triple10) -> rule6))] The tiger chases the mouse.[(triple14)] The tiger is nice.[(triple15)] The tiger is not round.[(triple16)] @1: The squirrel is nice.[(((triple11 triple5) -> rule5) OR ((triple11 ((triple4) -> rule7)) -> rule5))] The squirrel visits the tiger.[(((triple11) -> rule2))] The tiger needs the mouse.[(((triple15) -> rule7))] @2: The squirrel needs the mouse.[(((((triple11 triple5) -> rule5)) -> rule7) OR ((((triple11 ((triple4) -> rule7)) -> rule5)) -> rule7))] @3: The mouse needs the tiger.[(((((((triple11 triple5) -> rule5)) -> rule7)) -> rule3) OR ((((((triple11 ((triple4) -> rule7)) -> rule5)) -> rule7)) -> rule3))] @4: The mouse is nice.[(((triple2 ((((((triple11 triple5) -> rule5)) -> rule7)) -> rule3)) -> rule4) OR ((triple2 ((((((triple11 ((triple4) -> rule7)) -> rule5)) -> rule7)) -> rule3)) -> rule4))] @5: The mouse needs the mouse.[(((((triple2 ((((((triple11 triple5) -> rule5)) -> rule7)) -> rule3)) -> rule4)) -> rule7) OR ((((triple2 ((((((triple11 ((triple4) -> rule7)) -> rule5)) -> rule7)) -> rule3)) -> rule4)) -> rule7))]