The bear is rough. The bear is round. The cat chases the rabbit. The cat chases the tiger. The rabbit is round. The rabbit needs the tiger. The tiger needs the bear. If the rabbit visits the cat then the rabbit visits the tiger. If something chases the rabbit then the rabbit chases the cat. If something needs the bear and the bear is round then it chases the cat. If the bear visits the cat and the bear needs the cat then the bear needs the tiger. If something chases the rabbit and it chases the tiger then the tiger needs the bear. If something visits the rabbit and the rabbit is rough then the rabbit is green. If something visits the tiger and it needs the tiger then the tiger is round. If something needs the tiger then it visits the cat.
The bear needs the tiger.
@0: The bear is rough.[(triple1)] The bear is round.[(triple2)] The cat chases the rabbit.[(triple3)] The cat chases the tiger.[(triple4)] The rabbit is round.[(triple5)] The rabbit needs the tiger.[(triple6)] The tiger needs the bear.[(triple7 OR ((triple3 triple4) -> rule5))] @1: The rabbit chases the cat.[(((triple3) -> rule2))] The rabbit visits the cat.[(((triple6) -> rule8))] The tiger chases the cat.[(((triple7 triple2) -> rule3) OR ((((triple3 triple4) -> rule5) triple2) -> rule3))] @2: The rabbit visits the tiger.[(((((triple6) -> rule8)) -> rule1))] @3: The tiger is round.[(((((((triple6) -> rule8)) -> rule1) triple6) -> rule7))]