The bald eagle likes the lion. The cat is not big. The cat is cold. The cat is round. The lion eats the mouse. The lion is green. The lion likes the cat. The mouse is round. The mouse likes the bald eagle. The mouse likes the lion. The mouse sees the bald eagle. The mouse sees the lion. If something is big and it eats the lion then the lion eats the mouse. If something sees the bald eagle then it is red. If something is red then it eats the bald eagle. If something sees the cat then it sees the bald eagle. If something is cold and it does not like the mouse then the mouse is red. If something eats the bald eagle and the bald eagle likes the lion then the bald eagle sees the cat. If something eats the cat then the cat is cold. If the lion likes the mouse and the lion does not eat the bald eagle then the lion does not see the mouse.
The mouse is red.
@0: The bald eagle likes the lion.[(triple1)] The cat is cold.[(triple3)] The cat is not big.[(triple2)] The cat is round.[(triple4)] The lion eats the mouse.[(triple5)] The lion is green.[(triple6)] The lion likes the cat.[(triple7)] The mouse is round.[(triple8)] The mouse likes the bald eagle.[(triple9)] The mouse likes the lion.[(triple10)] The mouse sees the bald eagle.[(triple11)] The mouse sees the lion.[(triple12)] @1: The mouse is red.[(((triple11) -> rule2))] @2: The mouse eats the bald eagle.[(((((triple11) -> rule2)) -> rule3))] @3: The bald eagle sees the cat.[(((((((triple11) -> rule2)) -> rule3) triple1) -> rule6))] @4: The bald eagle sees the bald eagle.[(((((((((triple11) -> rule2)) -> rule3) triple1) -> rule6)) -> rule4))] @5: The bald eagle is red.[(((((((((((triple11) -> rule2)) -> rule3) triple1) -> rule6)) -> rule4)) -> rule2))] @6: The bald eagle eats the bald eagle.[(((((((((((((triple11) -> rule2)) -> rule3) triple1) -> rule6)) -> rule4)) -> rule2)) -> rule3))]