The cat chases the rabbit. The cat eats the mouse. The cat eats the rabbit. The cat is big. The mouse eats the cat. The mouse eats the rabbit. The mouse is round. The rabbit eats the cat. The rabbit eats the squirrel. The rabbit is big. The rabbit visits the squirrel. The squirrel chases the cat. The squirrel is cold. The squirrel is round. The squirrel visits the rabbit. If someone is round then they are big. If someone is rough and they visit the mouse then they are blue. If someone is cold then they chase the cat. If someone visits the mouse and they chase the cat then the cat eats the mouse. If someone eats the mouse then the mouse chases the rabbit. If the cat visits the squirrel then the cat eats the rabbit. If someone is round and they visit the rabbit then the rabbit eats the cat. If someone is round and they eat the rabbit then the rabbit is cold.
The cat chases the rabbit.
@0: The cat chases the rabbit.[(triple1)] The cat eats the mouse.[(triple2)] The cat eats the rabbit.[(triple3)] The cat is big.[(triple4)] The mouse eats the cat.[(triple5)] The mouse eats the rabbit.[(triple6)] The mouse is round.[(triple7)] The rabbit eats the cat.[(triple8 OR ((triple14 triple15) -> rule7))] The rabbit eats the squirrel.[(triple9)] The rabbit is big.[(triple10)] The rabbit visits the squirrel.[(triple11)] The squirrel chases the cat.[(triple12 OR ((triple13) -> rule3))] The squirrel is cold.[(triple13)] The squirrel is round.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The mouse chases the rabbit.[(((triple2) -> rule5))] The mouse is big.[(((triple7) -> rule1))] The rabbit is cold.[(((triple7 triple6) -> rule8))] The squirrel is big.[(((triple14) -> rule1))] @2: The rabbit chases the cat.[(((((triple7 triple6) -> rule8)) -> rule3))]