The bear is round. The bear visits the rabbit. The cat eats the dog. The cat visits the bear. The dog does not eat the cat. The dog is not nice. The dog is round. The dog visits the bear. The rabbit chases the dog. The rabbit eats the bear. If something is big then it does not visit the dog. If something visits the rabbit then it chases the rabbit. If something chases the cat then it is round. If something visits the cat and it chases the dog then it is round. If something eats the cat then it is not big. Round things are big. If something chases the rabbit then the rabbit chases the cat.
The cat is nice.
@0: The bear is round.[(triple1)] The bear visits the rabbit.[(triple2)] The cat eats the dog.[(triple3)] The cat visits the bear.[(triple4)] The dog does not eat the cat.[(triple5)] The dog is not nice.[(triple6)] The dog is round.[(triple7)] The dog visits the bear.[(triple8)] The rabbit chases the dog.[(triple9)] The rabbit eats the bear.[(triple10)] @1: The bear chases the rabbit.[(((triple2) -> rule2))] The bear is big.[(((triple1) -> rule6))] The dog is big.[(((triple7) -> rule6))] @2: The bear does not visit the dog.[(((((triple1) -> rule6)) -> rule1))] The dog does not visit the dog.[(((((triple7) -> rule6)) -> rule1))] The rabbit chases the cat.[(((((triple2) -> rule2)) -> rule7))] @3: The rabbit is round.[(((((((triple2) -> rule2)) -> rule7)) -> rule3))] @4: The rabbit is big.[(((((((((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6))] @5: The rabbit does not visit the dog.[(((((((((((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6)) -> rule1))]