The bald eagle is rough. The bald eagle is young. The bald eagle sees the lion. The bald eagle sees the tiger. The bald eagle visits the cat. The cat likes the bald eagle. The cat sees the lion. The cat visits the tiger. The lion visits the cat. The tiger is kind. The tiger is nice. The tiger is rough. The tiger likes the cat. The tiger likes the lion. The tiger visits the cat. If someone is red then they like the tiger. If someone sees the tiger then they like the lion. If someone visits the cat then they are red. If the lion sees the cat then the cat visits the bald eagle. If someone is rough and nice then they like the cat. If someone is red then they see the tiger.
The lion likes the lion.
@0: The bald eagle is rough.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the lion.[(triple3)] The bald eagle sees the tiger.[(triple4 OR ((((triple5) -> rule3)) -> rule6))] The bald eagle visits the cat.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat sees the lion.[(triple7)] The cat visits the tiger.[(triple8)] The lion visits the cat.[(triple9)] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is rough.[(triple12)] The tiger likes the cat.[(triple13 OR ((triple12 triple11) -> rule5))] The tiger likes the lion.[(triple14 OR ((((((triple15) -> rule3)) -> rule6)) -> rule2))] The tiger visits the cat.[(triple15)] @1: The bald eagle is red.[(((triple5) -> rule3))] The bald eagle likes the lion.[(((triple4) -> rule2) OR ((((((triple5) -> rule3)) -> rule6)) -> rule2))] The lion is red.[(((triple9) -> rule3))] The tiger is red.[(((triple15) -> rule3))] @2: The bald eagle likes the tiger.[(((((triple5) -> rule3)) -> rule1))] The lion likes the tiger.[(((((triple9) -> rule3)) -> rule1))] The lion sees the tiger.[(((((triple9) -> rule3)) -> rule6))] The tiger likes the tiger.[(((((triple15) -> rule3)) -> rule1))] The tiger sees the tiger.[(((((triple15) -> rule3)) -> rule6))] @3: The lion likes the lion.[(((((((triple9) -> rule3)) -> rule6)) -> rule2))]