The bald eagle chases the cat. The bald eagle chases the squirrel. The bald eagle is round. The bald eagle visits the squirrel. The bear is kind. The bear sees the bald eagle. The cat is blue. The cat sees the bear. The cat visits the bald eagle. The cat visits the squirrel. The squirrel chases the bear. The squirrel visits the bald eagle. If the cat sees the bald eagle and the cat sees the bear then the bald eagle is kind. If someone visits the cat then the cat chases the squirrel. If someone sees the bear then they see the cat. If someone sees the cat then the cat sees the bald eagle. If someone sees the bear and the bear is cold then the bear chases the bald eagle. If the cat is blue then the cat is cold. If someone is kind then they see the bear. If someone visits the squirrel and they chase the cat then the cat chases the bear. If someone is kind then they chase the bald eagle.
The squirrel sees the bear.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The bear is kind.[(triple5)] The bear sees the bald eagle.[(triple6)] The cat is blue.[(triple7)] The cat sees the bear.[(triple8)] The cat visits the bald eagle.[(triple9)] The cat visits the squirrel.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel visits the bald eagle.[(triple12)] @1: The bear chases the bald eagle.[(((triple5) -> rule9))] The bear sees the bear.[(((triple5) -> rule7))] The cat chases the bear.[(((triple4 triple1) -> rule8))] The cat is cold.[(((triple7) -> rule6))] The cat sees the cat.[(((triple8) -> rule3))] @2: The bear sees the cat.[(((((triple5) -> rule7)) -> rule3))] The cat sees the bald eagle.[(((((triple8) -> rule3)) -> rule4) OR ((((((triple5) -> rule7)) -> rule3)) -> rule4))] @3: The bald eagle is kind.[(((((((triple8) -> rule3)) -> rule4) triple8) -> rule1) OR ((((((((triple5) -> rule7)) -> rule3)) -> rule4) triple8) -> rule1))] @4: The bald eagle chases the bald eagle.[(((((((((triple8) -> rule3)) -> rule4) triple8) -> rule1)) -> rule9) OR ((((((((((triple5) -> rule7)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule9))] The bald eagle sees the bear.[(((((((((triple8) -> rule3)) -> rule4) triple8) -> rule1)) -> rule7) OR ((((((((((triple5) -> rule7)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule7))] @5: The bald eagle sees the cat.[(((((((((((triple8) -> rule3)) -> rule4) triple8) -> rule1)) -> rule7)) -> rule3) OR ((((((((((((triple5) -> rule7)) -> rule3)) -> rule4) triple8) -> rule1)) -> rule7)) -> rule3))]