The bald eagle sees the bear. The bear is green. The bear sees the cat. The bear visits the cat. The cat chases the bald eagle. The cat is cold. The cat sees the bald eagle. The cat sees the rabbit. The cat visits the rabbit. The rabbit is nice. The rabbit visits the bear. The rabbit visits the cat. If something visits the cat then the cat sees the bear. If the cat is rough and the cat sees the bear then the cat chases the rabbit. If something is green and round then it is cold. If something is cold and it visits the bald eagle then it sees the bear. If something visits the bear and the bear chases the rabbit then the bear visits the bald eagle. If something is green then it visits the cat.
The bear is green.
@0: The bald eagle sees the bear.[(triple1)] The bear is green.[(triple2)] The bear sees the cat.[(triple3)] The bear visits the cat.[(triple4 OR ((triple2) -> rule6))] The cat chases the bald eagle.[(triple5)] The cat is cold.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the rabbit.[(triple8)] The cat visits the rabbit.[(triple9)] The rabbit is nice.[(triple10)] The rabbit visits the bear.[(triple11)] The rabbit visits the cat.[(triple12)] @1: The cat sees the bear.[(((triple12) -> rule1) OR ((triple4) -> rule1) OR ((((triple2) -> rule6)) -> rule1))]