The bear eats the rabbit. The bear eats the tiger. The bear is nice. The bear visits the tiger. The rabbit eats the tiger. The rabbit is kind. The rabbit is round. The rabbit is young. The rabbit sees the bear. The rabbit sees the tiger. The tiger eats the rabbit. The tiger is blue. The tiger is young. The tiger sees the bear. The tiger visits the bear. If something eats the tiger then it visits the tiger. If something visits the tiger and it sees the tiger then it is blue. If the rabbit is round and the rabbit visits the bear then the bear eats the rabbit. If something visits the tiger then it visits the bear. If something sees the tiger and it visits the rabbit then it is blue. If something is blue then it eats the bear.
The rabbit does not eat the bear.
@0: The bear eats the rabbit.[(triple1 OR ((triple7 ((((triple5) -> rule1)) -> rule4)) -> rule3))] The bear eats the tiger.[(triple2)] The bear is nice.[(triple3)] The bear visits the tiger.[(triple4 OR ((triple2) -> rule1))] The rabbit eats the tiger.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is round.[(triple7)] The rabbit is young.[(triple8)] The rabbit sees the bear.[(triple9)] The rabbit sees the tiger.[(triple10)] The tiger eats the rabbit.[(triple11)] The tiger is blue.[(triple12)] The tiger is young.[(triple13)] The tiger sees the bear.[(triple14)] The tiger visits the bear.[(triple15)] @1: The bear visits the bear.[(((triple4) -> rule4) OR ((((triple2) -> rule1)) -> rule4))] The rabbit visits the tiger.[(((triple5) -> rule1))] The tiger eats the bear.[(((triple12) -> rule6))] @2: The rabbit is blue.[(((((triple5) -> rule1) triple10) -> rule2))] The rabbit visits the bear.[(((((triple5) -> rule1)) -> rule4))] @3: The rabbit eats the bear.[(((((((triple5) -> rule1) triple10) -> rule2)) -> rule6))]