The bald eagle is cold. The cat chases the rabbit. The cat is young. The cat sees the bald eagle. The cat sees the rabbit. The cat visits the bald eagle. The cat visits the rabbit. The mouse chases the bald eagle. The mouse is kind. The mouse is young. The mouse visits the cat. The rabbit chases the cat. The rabbit is nice. The rabbit is young. The rabbit sees the bald eagle. If something is young and cold then it visits the rabbit. If the mouse is nice then the mouse is cold. If something is red then it sees the bald eagle. If something sees the rabbit then it sees the cat. All cold things are red. If something sees the bald eagle then it sees the cat.
The bald eagle sees the mouse.
@0: The bald eagle is cold.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is young.[(triple3)] The cat sees the bald eagle.[(triple4)] The cat sees the rabbit.[(triple5)] The cat visits the bald eagle.[(triple6)] The cat visits the rabbit.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse is kind.[(triple9)] The mouse is young.[(triple10)] The mouse visits the cat.[(triple11)] The rabbit chases the cat.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the bald eagle.[(triple15)] @1: The bald eagle is red.[(((triple1) -> rule5))] The cat sees the cat.[(((triple4) -> rule6) OR ((triple5) -> rule4))] The rabbit sees the cat.[(((triple15) -> rule6))] @2: The bald eagle sees the bald eagle.[(((((triple1) -> rule5)) -> rule3))] @3: The bald eagle sees the cat.[(((((((triple1) -> rule5)) -> rule3)) -> rule6))]