The cat is big. The cat is nice. The cat needs the mouse. The cat needs the rabbit. The mouse chases the cat. The mouse eats the cat. The mouse is cold. The mouse is not kind. The mouse is not rough. The mouse does not need the cat. The mouse needs the rabbit. The rabbit does not chase the cat. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit needs the cat. The rabbit does not need the mouse. If someone needs the rabbit and they are nice then they chase the rabbit. If the rabbit chases the mouse then the mouse is nice.
The cat chases the rabbit.
@0: The cat is big.[(triple1)] The cat is nice.[(triple2)] The cat needs the mouse.[(triple3)] The cat needs the rabbit.[(triple4)] The mouse chases the cat.[(triple5)] The mouse does not need the cat.[(triple10)] The mouse eats the cat.[(triple6)] The mouse is cold.[(triple7)] The mouse is not kind.[(triple8)] The mouse is not rough.[(triple9)] The mouse needs the rabbit.[(triple11)] The rabbit chases the mouse.[(triple13)] The rabbit does not chase the cat.[(triple12)] The rabbit does not need the mouse.[(triple16)] The rabbit eats the mouse.[(triple14)] The rabbit needs the cat.[(triple15)] @1: The cat chases the rabbit.[(((triple4 triple2) -> rule1))] The mouse is nice.[(((triple13) -> rule2))] @2: The mouse chases the rabbit.[(((triple11 ((triple13) -> rule2)) -> rule1))]