The bear chases the cat. The bear chases the rabbit. The bear eats the cat. The bear is not big. The bear is green. The bear is not round. The cat chases the mouse. The cat eats the bear. The cat is not cold. The cat visits the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is round. The rabbit chases the cat. The rabbit does not eat the cat. The rabbit is young. If something chases the bear then it is green. If something visits the mouse then it is not young. If something visits the mouse then it is big.
The rabbit is not big.
@0: The bear chases the cat.[(triple1)] The bear chases the rabbit.[(triple2)] The bear eats the cat.[(triple3)] The bear is green.[(triple5)] The bear is not big.[(triple4)] The bear is not round.[(triple6)] The cat chases the mouse.[(triple7)] The cat eats the bear.[(triple8)] The cat is not cold.[(triple9)] The cat visits the mouse.[(triple10)] The mouse chases the bear.[(triple11)] The mouse eats the bear.[(triple12)] The mouse is round.[(triple13)] The rabbit chases the cat.[(triple14)] The rabbit does not eat the cat.[(triple15)] The rabbit is young.[(triple16)] @1: The cat is big.[(((triple10) -> rule3))] The cat is not young.[(((triple10) -> rule2))] The mouse is green.[(((triple11) -> rule1))]