The bear chases the rabbit. The bear is blue. The bear is cold. The bear is nice. The bear is red. The bear is young. The bear needs the rabbit. The bear visits the rabbit. The rabbit chases the bear. The rabbit is not cold. The rabbit needs the bear. The rabbit does not visit the bear. If someone is nice and not young then they do not visit the rabbit. If someone is blue then they chase the bear. If someone is nice then they chase the rabbit. If the bear chases the rabbit and the rabbit chases the bear then the rabbit is nice. If someone needs the rabbit and they do not visit the rabbit then they need the bear. If someone chases the bear and the bear does not chase the rabbit then the bear is not red.
The bear is cold.
@0: The bear chases the rabbit.[(triple1 OR ((triple4) -> rule3))] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The bear needs the rabbit.[(triple7)] The bear visits the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit does not visit the bear.[(triple12)] The rabbit is not cold.[(triple10)] The rabbit needs the bear.[(triple11)] @1: The bear chases the bear.[(((triple2) -> rule2))] The rabbit is nice.[(((triple1 triple9) -> rule4) OR ((((triple4) -> rule3) triple9) -> rule4))] @2: The rabbit chases the rabbit.[(((((triple1 triple9) -> rule4)) -> rule3) OR ((((((triple4) -> rule3) triple9) -> rule4)) -> rule3))]