The bear chases the cat. The bear eats the cat. The bear is big. The bear is green. The bear is nice. The bear is red. The bear needs the cat. The cat chases the bear. The cat eats the bear. The cat needs the bear. All round things are big. If the bear eats the cat and the cat needs the bear then the cat is round. If something is big then it is green.
The bear does not chase the bear.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear is big.[(triple3)] The bear is green.[(triple4 OR ((triple3) -> rule3))] The bear is nice.[(triple5)] The bear is red.[(triple6)] The bear needs the cat.[(triple7)] The cat chases the bear.[(triple8)] The cat eats the bear.[(triple9)] The cat needs the bear.[(triple10)] @1: The cat is round.[(((triple2 triple10) -> rule2))] @2: The cat is big.[(((((triple2 triple10) -> rule2)) -> rule1))] @3: The cat is green.[(((((((triple2 triple10) -> rule2)) -> rule1)) -> rule3))]