The bald eagle chases the bear. The bald eagle needs the cat. The bald eagle visits the squirrel. The bear does not chase the squirrel. The bear is blue. The cat chases the squirrel. The cat visits the bear. The cat visits the squirrel. The squirrel is green. The squirrel does not need the cat. If someone is cold and they visit the bear then the bear does not need the squirrel. If the bald eagle is blue and the bald eagle visits the cat then the cat is nice. If someone is blue then they visit the cat. If someone visits the bear then the bear needs the cat. If the bear visits the bald eagle then the bear visits the cat. If someone needs the squirrel then the squirrel chases the cat. If the bear needs the bald eagle and the bear needs the cat then the bald eagle is blue. If someone visits the cat then they need the bald eagle. If someone needs the bear and they are blue then the bear does not visit the squirrel.
The squirrel does not visit the squirrel.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The bear does not chase the squirrel.[(triple4)] The bear is blue.[(triple5)] The cat chases the squirrel.[(triple6)] The cat visits the bear.[(triple7)] The cat visits the squirrel.[(triple8)] The squirrel does not need the cat.[(triple10)] The squirrel is green.[(triple9)] @1: The bear needs the cat.[(((triple7) -> rule4))] The bear visits the cat.[(((triple5) -> rule3))] @2: The bear needs the bald eagle.[(((((triple5) -> rule3)) -> rule8))] @3: The bald eagle is blue.[(((((((triple5) -> rule3)) -> rule8) ((triple7) -> rule4)) -> rule7))] @4: The bald eagle visits the cat.[(((((((((triple5) -> rule3)) -> rule8) ((triple7) -> rule4)) -> rule7)) -> rule3))] @5: The bald eagle needs the bald eagle.[(((((((((((triple5) -> rule3)) -> rule8) ((triple7) -> rule4)) -> rule7)) -> rule3)) -> rule8))] The cat is nice.[(((((((((triple5) -> rule3)) -> rule8) ((triple7) -> rule4)) -> rule7) ((((((((triple5) -> rule3)) -> rule8) ((triple7) -> rule4)) -> rule7)) -> rule3)) -> rule2))]