The bear eats the cat. The bear does not eat the rabbit. The bear is nice. The bear is rough. The bear needs the rabbit. The bear visits the cat. The cat eats the bear. The cat eats the rabbit. The cat is red. The cat is rough. The cat needs the bear. The cat visits the rabbit. The rabbit does not eat the cat. The rabbit is nice. The rabbit is not red. The rabbit is young. If someone eats the cat then they are blue. Red people are blue. If someone is blue and they visit the rabbit then the rabbit visits the bear. If someone visits the rabbit and they are rough then the rabbit visits the cat. If someone is nice and they eat the cat then they are young. If someone visits the bear then the bear needs the cat.
The cat does not need the cat.
@0: The bear does not eat the rabbit.[(triple2)] The bear eats the cat.[(triple1)] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear needs the rabbit.[(triple5)] The bear visits the cat.[(triple6)] The cat eats the bear.[(triple7)] The cat eats the rabbit.[(triple8)] The cat is red.[(triple9)] The cat is rough.[(triple10)] The cat needs the bear.[(triple11)] The cat visits the rabbit.[(triple12)] The rabbit does not eat the cat.[(triple13)] The rabbit is nice.[(triple14)] The rabbit is not red.[(triple15)] The rabbit is young.[(triple16)] @1: The bear is blue.[(((triple1) -> rule1))] The bear is young.[(((triple3 triple1) -> rule5))] The cat is blue.[(((triple9) -> rule2))] The rabbit visits the cat.[(((triple12 triple10) -> rule4))] @2: The rabbit visits the bear.[(((((triple9) -> rule2) triple12) -> rule3))] @3: The bear needs the cat.[(((((((triple9) -> rule2) triple12) -> rule3)) -> rule6))]