The bear likes the rabbit. The rabbit chases the bear. If someone likes the rabbit and they chase the bear then the rabbit is not big. If someone is kind then they visit the rabbit. If someone is red then they chase the bear. If someone chases the bear then the bear is red. If someone likes the rabbit and the rabbit chases the bear then the rabbit is kind. If someone visits the rabbit then the rabbit is not nice. If someone visits the bear and the bear visits the rabbit then the bear chases the rabbit. If the rabbit visits the bear and the rabbit does not chase the bear then the bear does not visit the rabbit.
The rabbit likes the rabbit.
@0: The bear likes the rabbit.[(triple1)] The rabbit chases the bear.[(triple2)] @1: The bear is red.[(((triple2) -> rule4))] The rabbit is kind.[(((triple1 triple2) -> rule5))] @2: The bear chases the bear.[(((((triple2) -> rule4)) -> rule3))] The rabbit visits the rabbit.[(((((triple1 triple2) -> rule5)) -> rule2))] @3: The rabbit is not big.[(((triple1 ((((triple2) -> rule4)) -> rule3)) -> rule1))] The rabbit is not nice.[(((((((triple1 triple2) -> rule5)) -> rule2)) -> rule6))]