The bear chases the rabbit. The bear is blue. The bear is green. The cat is cold. The rabbit chases the cat. The rabbit is nice. The rabbit visits the bear. If someone chases the cat and the cat visits the rabbit then they visit the cat. If someone visits the cat and the cat is cold then they chase the rabbit. If someone chases the rabbit then the rabbit visits the cat. If someone chases the cat and they chase the rabbit then the cat chases the bear. If someone eats the cat and they chase the bear then the bear eats the cat. If the cat chases the bear then the bear is blue.
The cat is green.
@0: The bear chases the rabbit.[(triple1)] The bear is blue.[(triple2 OR ((((triple5 ((((triple1) -> rule3) triple4) -> rule2)) -> rule4)) -> rule6))] The bear is green.[(triple3)] The cat is cold.[(triple4)] The rabbit chases the cat.[(triple5)] The rabbit is nice.[(triple6)] The rabbit visits the bear.[(triple7)] @1: The rabbit visits the cat.[(((triple1) -> rule3))] @2: The rabbit chases the rabbit.[(((((triple1) -> rule3) triple4) -> rule2))] @3: The cat chases the bear.[(((triple5 ((((triple1) -> rule3) triple4) -> rule2)) -> rule4))]