The bald eagle is big. The bald eagle is blue. The bald eagle is red. The bald eagle sees the squirrel. The bald eagle sees the tiger. The bald eagle visits the squirrel. The bald eagle visits the tiger. The squirrel is big. The squirrel is red. The squirrel likes the tiger. The squirrel visits the tiger. The tiger sees the squirrel. If something sees the tiger and it visits the tiger then the tiger likes the squirrel. If something likes the squirrel and the squirrel sees the tiger then it likes the bald eagle. If something is red and it sees the tiger then the tiger visits the bald eagle.
The bald eagle is not big.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The bald eagle sees the tiger.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The bald eagle visits the tiger.[(triple7)] The squirrel is big.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the tiger.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The tiger likes the squirrel.[(((triple5 triple7) -> rule1))] The tiger visits the bald eagle.[(((triple3 triple5) -> rule3))]