The dog eats the rabbit. The dog is blue. The dog is nice. The dog is young. The dog likes the rabbit. The dog sees the rabbit. The rabbit eats the dog. The rabbit is green. The rabbit is nice. The rabbit is young. The rabbit likes the dog. The rabbit sees the dog. If someone is blue and green then they like the rabbit. If someone likes the dog then they are blue. If someone sees the dog then they see the rabbit. If someone likes the dog and they like the rabbit then they see the rabbit. If someone is nice and they see the rabbit then the rabbit eats the dog. If someone likes the rabbit then they see the rabbit. If someone is kind and young then they are green. If someone likes the rabbit then the rabbit is nice.
The dog is kind.
@0: The dog eats the rabbit.[(triple1)] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog is young.[(triple4)] The dog likes the rabbit.[(triple5)] The dog sees the rabbit.[(triple6 OR ((triple5) -> rule6))] The rabbit eats the dog.[(triple7 OR ((triple3 triple6) -> rule5) OR ((triple3 ((triple5) -> rule6)) -> rule5) OR ((triple9 ((triple12) -> rule3)) -> rule5) OR ((((triple5) -> rule8) ((triple12) -> rule3)) -> rule5) OR ((triple9 ((((((triple11) -> rule2) triple8) -> rule1)) -> rule6)) -> rule5) OR ((triple9 ((triple11 ((((triple11) -> rule2) triple8) -> rule1)) -> rule4)) -> rule5) OR ((((triple5) -> rule8) ((((((triple11) -> rule2) triple8) -> rule1)) -> rule6)) -> rule5) OR ((((triple5) -> rule8) ((triple11 ((((triple11) -> rule2) triple8) -> rule1)) -> rule4)) -> rule5) OR ((((((((triple11) -> rule2) triple8) -> rule1)) -> rule8) ((triple12) -> rule3)) -> rule5) OR ((((((((triple11) -> rule2) triple8) -> rule1)) -> rule8) ((((((triple11) -> rule2) triple8) -> rule1)) -> rule6)) -> rule5) OR ((((((((triple11) -> rule2) triple8) -> rule1)) -> rule8) ((triple11 ((((triple11) -> rule2) triple8) -> rule1)) -> rule4)) -> rule5))] The rabbit is green.[(triple8)] The rabbit is nice.[(triple9 OR ((triple5) -> rule8) OR ((((((triple11) -> rule2) triple8) -> rule1)) -> rule8))] The rabbit is young.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit sees the dog.[(triple12)] @1: The rabbit is blue.[(((triple11) -> rule2))] The rabbit sees the rabbit.[(((triple12) -> rule3) OR ((((((triple11) -> rule2) triple8) -> rule1)) -> rule6) OR ((triple11 ((((triple11) -> rule2) triple8) -> rule1)) -> rule4))] @2: The rabbit likes the rabbit.[(((((triple11) -> rule2) triple8) -> rule1))]