The bear is cold. The bear sees the rabbit. The dog chases the rabbit. The dog is cold. The dog is nice. The dog sees the bear. The dog sees the rabbit. The dog visits the bear. The rabbit is big. The rabbit sees the bear. The rabbit sees the dog. The rabbit visits the bear. All big things are nice. If something is big and it visits the bear then the bear is big.
The bear does not see the dog.
@0: The bear is cold.[(triple1)] The bear sees the rabbit.[(triple2)] The dog chases the rabbit.[(triple3)] The dog is cold.[(triple4)] The dog is nice.[(triple5)] The dog sees the bear.[(triple6)] The dog sees the rabbit.[(triple7)] The dog visits the bear.[(triple8)] The rabbit is big.[(triple9)] The rabbit sees the bear.[(triple10)] The rabbit sees the dog.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The bear is big.[(((triple9 triple12) -> rule2))] The rabbit is nice.[(((triple9) -> rule1))] @2: The bear is nice.[(((((triple9 triple12) -> rule2)) -> rule1))]