The bear chases the cat. The bear eats the cat. The bear is cold. The bear is green. The bear is nice. The bear is young. The bear sees the cat. The cat chases the bear. The cat eats the bear. The cat is cold. The cat is green. The cat sees the bear. If someone eats the bear and the bear is nice then they are young. If someone chases the cat then they are red. If someone is cold and they eat the cat then the cat eats the bear.
The cat is nice.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is nice.[(triple5)] The bear is young.[(triple6)] The bear sees the cat.[(triple7)] The cat chases the bear.[(triple8)] The cat eats the bear.[(triple9 OR ((triple3 triple2) -> rule3))] The cat is cold.[(triple10)] The cat is green.[(triple11)] The cat sees the bear.[(triple12)] @1: The bear is red.[(((triple1) -> rule2))] The cat is young.[(((triple9 triple5) -> rule1) OR ((((triple3 triple2) -> rule3) triple5) -> rule1))]