The bald eagle is cold. The bald eagle sees the bear. The bear is big. The bear is rough. The dog is rough. The dog visits the bear. The lion is young. The lion likes the bald eagle. The lion sees the bald eagle. The lion sees the bear. The lion visits the bear. The lion visits the dog. If something visits the dog then the dog sees the lion. If something likes the bald eagle then it sees the dog. If something likes the lion then it visits the bear. If the bald eagle is cold then the bald eagle is red. If something is rough and it sees the bear then it visits the lion. If the bald eagle visits the lion then the bald eagle likes the lion. Red things are rough.
The bear is not young.
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear is big.[(triple3)] The bear is rough.[(triple4)] The dog is rough.[(triple5)] The dog visits the bear.[(triple6)] The lion is young.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion sees the bald eagle.[(triple9)] The lion sees the bear.[(triple10)] The lion visits the bear.[(triple11)] The lion visits the dog.[(triple12)] @1: The bald eagle is red.[(((triple1) -> rule4))] The dog sees the lion.[(((triple12) -> rule1))] The lion sees the dog.[(((triple8) -> rule2))] @2: The bald eagle is rough.[(((((triple1) -> rule4)) -> rule7))] @3: The bald eagle visits the lion.[(((((((triple1) -> rule4)) -> rule7) triple2) -> rule5))] @4: The bald eagle likes the lion.[(((((((((triple1) -> rule4)) -> rule7) triple2) -> rule5)) -> rule6))] @5: The bald eagle visits the bear.[(((((((((((triple1) -> rule4)) -> rule7) triple2) -> rule5)) -> rule6)) -> rule3))]