The bear eats the rabbit. The bear is blue. The bear needs the rabbit. The rabbit does not eat the bear. The rabbit is blue. The rabbit is cold. The rabbit is not round. The rabbit is young. The rabbit needs the bear. The rabbit sees the bear. If something eats the rabbit then the rabbit does not eat the bear. If something sees the rabbit then the rabbit sees the bear. If the rabbit sees the bear then the bear is round. If something sees the bear then the bear is young. If something needs the rabbit then it sees the rabbit. If something needs the bear then the bear sees the rabbit.
The rabbit does not see the rabbit.
@0: The bear eats the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear needs the rabbit.[(triple3)] The rabbit does not eat the bear.[(triple4 OR ((triple1) -> rule1))] The rabbit is blue.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is not round.[(triple7)] The rabbit is young.[(triple8)] The rabbit needs the bear.[(triple9)] The rabbit sees the bear.[(triple10 OR ((((triple3) -> rule5)) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] @1: The bear is round.[(((triple10) -> rule3) OR ((((((triple3) -> rule5)) -> rule2)) -> rule3) OR ((((((triple9) -> rule6)) -> rule2)) -> rule3))] The bear is young.[(((triple10) -> rule4) OR ((((((triple3) -> rule5)) -> rule2)) -> rule4) OR ((((((triple9) -> rule6)) -> rule2)) -> rule4))] The bear sees the rabbit.[(((triple3) -> rule5) OR ((triple9) -> rule6))]