The bald eagle is big. The bald eagle is round. The bald eagle visits the mouse. The mouse sees the tiger. The rabbit chases the mouse. The rabbit chases the tiger. The rabbit is red. The tiger is big. The tiger sees the rabbit. The tiger visits the bald eagle. If someone visits the rabbit and the rabbit sees the tiger then the rabbit is big. If someone chases the mouse then they chase the rabbit. If someone visits the mouse then they see the mouse. If someone visits the rabbit then they visit the tiger. If the bald eagle sees the rabbit then the bald eagle visits the tiger. If someone is big then they chase the mouse.
The tiger is not big.
@0: The bald eagle is big.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle visits the mouse.[(triple3)] The mouse sees the tiger.[(triple4)] The rabbit chases the mouse.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit is red.[(triple7)] The tiger is big.[(triple8)] The tiger sees the rabbit.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle chases the mouse.[(((triple1) -> rule6))] The bald eagle sees the mouse.[(((triple3) -> rule3))] The rabbit chases the rabbit.[(((triple5) -> rule2))] The tiger chases the mouse.[(((triple8) -> rule6))] @2: The bald eagle chases the rabbit.[(((((triple1) -> rule6)) -> rule2))] The tiger chases the rabbit.[(((((triple8) -> rule6)) -> rule2))]