The bald eagle is green. The bald eagle is rough. The bald eagle is young. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The cat is round. The cat needs the bald eagle. The cat needs the dog. The cat visits the bald eagle. The dog needs the bald eagle. The dog sees the bald eagle. The dog visits the cat. The squirrel needs the cat. The squirrel visits the bald eagle. If something sees the dog then it sees the cat. If something needs the dog and it is round then it needs the cat. If something visits the squirrel then the squirrel visits the dog. If something is nice then it sees the dog. If something needs the cat then it is nice. If something sees the cat then it is green. If something needs the cat then it is rough. If something visits the squirrel and the squirrel visits the dog then the squirrel visits the bald eagle.
The dog is young.
@0: The bald eagle is green.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The cat is round.[(triple6)] The cat needs the bald eagle.[(triple7)] The cat needs the dog.[(triple8)] The cat visits the bald eagle.[(triple9)] The dog needs the bald eagle.[(triple10)] The dog sees the bald eagle.[(triple11)] The dog visits the cat.[(triple12)] The squirrel needs the cat.[(triple13)] The squirrel visits the bald eagle.[(triple14)] @1: The cat needs the cat.[(((triple8 triple6) -> rule2))] The squirrel is nice.[(((triple13) -> rule5))] The squirrel is rough.[(((triple13) -> rule7))] @2: The cat is nice.[(((((triple8 triple6) -> rule2)) -> rule5))] The cat is rough.[(((((triple8 triple6) -> rule2)) -> rule7))] The squirrel sees the dog.[(((((triple13) -> rule5)) -> rule4))] @3: The cat sees the dog.[(((((((triple8 triple6) -> rule2)) -> rule5)) -> rule4))] The squirrel sees the cat.[(((((((triple13) -> rule5)) -> rule4)) -> rule1))] @4: The cat sees the cat.[(((((((((triple8 triple6) -> rule2)) -> rule5)) -> rule4)) -> rule1))] The squirrel is green.[(((((((((triple13) -> rule5)) -> rule4)) -> rule1)) -> rule6))] @5: The cat is green.[(((((((((((triple8 triple6) -> rule2)) -> rule5)) -> rule4)) -> rule1)) -> rule6))]