The bald eagle is kind. The bald eagle likes the lion. The cat is cold. The cat likes the mouse. The lion eats the bald eagle. The lion sees the bald eagle. The lion sees the cat. The mouse eats the bald eagle. The mouse eats the cat. The mouse eats the lion. The mouse is cold. The mouse is green. The mouse is kind. The mouse likes the bald eagle. The mouse likes the lion. The mouse sees the cat. If something is young and cold then it sees the bald eagle. If something likes the bald eagle and it eats the cat then the cat is young. If something sees the bald eagle and it is rough then the bald eagle sees the cat. If something is kind then it eats the bald eagle. If something is cold and it sees the bald eagle then the bald eagle is rough. If something is rough then it sees the bald eagle. If something likes the cat then the cat is green.
The mouse sees the cat.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the lion.[(triple2)] The cat is cold.[(triple3)] The cat likes the mouse.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion sees the bald eagle.[(triple6)] The lion sees the cat.[(triple7)] The mouse eats the bald eagle.[(triple8 OR ((triple13) -> rule4))] The mouse eats the cat.[(triple9)] The mouse eats the lion.[(triple10)] The mouse is cold.[(triple11)] The mouse is green.[(triple12)] The mouse is kind.[(triple13)] The mouse likes the bald eagle.[(triple14)] The mouse likes the lion.[(triple15)] The mouse sees the cat.[(triple16)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule4))] The cat is young.[(((triple14 triple9) -> rule2))] @2: The cat sees the bald eagle.[(((((triple14 triple9) -> rule2) triple3) -> rule1))] @3: The bald eagle is rough.[(((triple3 ((((triple14 triple9) -> rule2) triple3) -> rule1)) -> rule5))] @4: The bald eagle sees the bald eagle.[(((((triple3 ((((triple14 triple9) -> rule2) triple3) -> rule1)) -> rule5)) -> rule6))] @5: The bald eagle sees the cat.[(((((((triple3 ((((triple14 triple9) -> rule2) triple3) -> rule1)) -> rule5)) -> rule6) ((triple3 ((((triple14 triple9) -> rule2) triple3) -> rule1)) -> rule5)) -> rule3))]