The bald eagle is big. The bald eagle is kind. The bald eagle does not like the rabbit. The bald eagle needs the cat. The bald eagle needs the rabbit. The bald eagle does not see the squirrel. The cat is not green. The cat likes the rabbit. The rabbit likes the bald eagle. The squirrel is not blue. The squirrel is not cold. The squirrel is kind. The squirrel needs the cat. The squirrel needs the rabbit. If something likes the squirrel then the squirrel is big. All big things are green. If something is kind and big then it needs the squirrel. If something sees the rabbit and it needs the cat then it does not like the rabbit. If something needs the rabbit and the rabbit is kind then it needs the cat. If the bald eagle likes the squirrel and the bald eagle needs the squirrel then the squirrel does not like the bald eagle. If something sees the cat and it is blue then the cat does not see the bald eagle. If something needs the squirrel then it likes the squirrel.
The bald eagle does not like the squirrel.
@0: The bald eagle does not like the rabbit.[(triple3)] The bald eagle does not see the squirrel.[(triple6)] The bald eagle is big.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle needs the cat.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The cat is not green.[(triple7)] The cat likes the rabbit.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The squirrel is kind.[(triple12)] The squirrel is not blue.[(triple10)] The squirrel is not cold.[(triple11)] The squirrel needs the cat.[(triple13)] The squirrel needs the rabbit.[(triple14)] @1: The bald eagle is green.[(((triple1) -> rule2))] The bald eagle needs the squirrel.[(((triple2 triple1) -> rule3))] @2: The bald eagle likes the squirrel.[(((((triple2 triple1) -> rule3)) -> rule8))] @3: The squirrel does not like the bald eagle.[(((((((triple2 triple1) -> rule3)) -> rule8) ((triple2 triple1) -> rule3)) -> rule6))] The squirrel is big.[(((((((triple2 triple1) -> rule3)) -> rule8)) -> rule1))] @4: The squirrel is green.[(((((((((triple2 triple1) -> rule3)) -> rule8)) -> rule1)) -> rule2))] The squirrel needs the squirrel.[(((triple12 ((((((triple2 triple1) -> rule3)) -> rule8)) -> rule1)) -> rule3))] @5: The squirrel likes the squirrel.[(((((triple12 ((((((triple2 triple1) -> rule3)) -> rule8)) -> rule1)) -> rule3)) -> rule8))]