The bear eats the rabbit. The bear is blue. The bear is green. The bear is young. The bear likes the rabbit. The bear sees the rabbit. The rabbit eats the bear. If someone is young then they like the rabbit. If someone sees the bear then the bear is round. If someone is young and they like the rabbit then they see the bear. If someone sees the rabbit then they are green. If someone likes the bear then they are young. If someone sees the bear and they see the rabbit then the rabbit is young. If someone likes the bear then the bear eats the rabbit. If someone is red and they eat the rabbit then they like the rabbit.
The rabbit eats the rabbit.
@0: The bear eats the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3 OR ((triple6) -> rule4))] The bear is young.[(triple4)] The bear likes the rabbit.[(triple5 OR ((triple4) -> rule1))] The bear sees the rabbit.[(triple6)] The rabbit eats the bear.[(triple7)] @1: The bear sees the bear.[(((triple4 triple5) -> rule3) OR ((triple4 ((triple4) -> rule1)) -> rule3))] @2: The bear is round.[(((((triple4 triple5) -> rule3)) -> rule2) OR ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule2) OR ((((((((triple4 triple5) -> rule3) triple6) -> rule6) ((((((triple4 triple5) -> rule3) triple6) -> rule6)) -> rule1)) -> rule3)) -> rule2) OR ((((((((triple4 ((triple4) -> rule1)) -> rule3) triple6) -> rule6) ((((((triple4 triple5) -> rule3) triple6) -> rule6)) -> rule1)) -> rule3)) -> rule2) OR ((((((((triple4 triple5) -> rule3) triple6) -> rule6) ((((((triple4 ((triple4) -> rule1)) -> rule3) triple6) -> rule6)) -> rule1)) -> rule3)) -> rule2) OR ((((((((triple4 ((triple4) -> rule1)) -> rule3) triple6) -> rule6) ((((((triple4 ((triple4) -> rule1)) -> rule3) triple6) -> rule6)) -> rule1)) -> rule3)) -> rule2))] The rabbit is young.[(((((triple4 triple5) -> rule3) triple6) -> rule6) OR ((((triple4 ((triple4) -> rule1)) -> rule3) triple6) -> rule6))] @3: The rabbit likes the rabbit.[(((((((triple4 triple5) -> rule3) triple6) -> rule6)) -> rule1) OR ((((((triple4 ((triple4) -> rule1)) -> rule3) triple6) -> rule6)) -> rule1))] @4: The rabbit sees the bear.[(((((((triple4 triple5) -> rule3) triple6) -> rule6) ((((((triple4 triple5) -> rule3) triple6) -> rule6)) -> rule1)) -> rule3) OR ((((((triple4 ((triple4) -> rule1)) -> rule3) triple6) -> rule6) ((((((triple4 triple5) -> rule3) triple6) -> rule6)) -> rule1)) -> rule3) OR ((((((triple4 triple5) -> rule3) triple6) -> rule6) ((((((triple4 ((triple4) -> rule1)) -> rule3) triple6) -> rule6)) -> rule1)) -> rule3) OR ((((((triple4 ((triple4) -> rule1)) -> rule3) triple6) -> rule6) ((((((triple4 ((triple4) -> rule1)) -> rule3) triple6) -> rule6)) -> rule1)) -> rule3))]