The bear chases the cat. The bear chases the rabbit. The bear is nice. The bear sees the rabbit. The cat chases the bear. The cat chases the rabbit. The cat is blue. The cat sees the rabbit. The cat sees the tiger. The rabbit chases the cat. The rabbit chases the tiger. The rabbit is round. The rabbit visits the bear. The tiger is round. The tiger sees the rabbit. If something is nice then it sees the cat. If something is nice and it sees the cat then it chases the bear.
The bear does not see the cat.
@0: The bear chases the cat.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is nice.[(triple3)] The bear sees the rabbit.[(triple4)] The cat chases the bear.[(triple5)] The cat chases the rabbit.[(triple6)] The cat is blue.[(triple7)] The cat sees the rabbit.[(triple8)] The cat sees the tiger.[(triple9)] The rabbit chases the cat.[(triple10)] The rabbit chases the tiger.[(triple11)] The rabbit is round.[(triple12)] The rabbit visits the bear.[(triple13)] The tiger is round.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The bear sees the cat.[(((triple3) -> rule1))] @2: The bear chases the bear.[(((triple3 ((triple3) -> rule1)) -> rule2))]