The cow eats the rabbit. The cow is blue. The cow is green. The cow is red. The cow likes the rabbit. The cow needs the rabbit. The rabbit is blue. The rabbit is not green. The rabbit is red. The rabbit is not rough. The rabbit likes the cow. The rabbit needs the cow. If someone eats the rabbit then the rabbit eats the cow. If someone needs the rabbit and the rabbit is green then they need the cow. If someone is blue and not green then they need the cow. If someone needs the cow then the cow needs the rabbit. If someone eats the cow and the cow needs the rabbit then the cow is rough. If someone likes the rabbit and they do not like the cow then they are blue. If the cow likes the rabbit then the rabbit is red. If someone is rough and they need the rabbit then the rabbit is red.
The rabbit eats the rabbit.
@0: The cow eats the rabbit.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is red.[(triple4)] The cow likes the rabbit.[(triple5)] The cow needs the rabbit.[(triple6 OR ((triple12) -> rule4) OR ((((triple7 triple8) -> rule3)) -> rule4))] The rabbit is blue.[(triple7)] The rabbit is not green.[(triple8)] The rabbit is not rough.[(triple10)] The rabbit is red.[(triple9 OR ((triple5) -> rule7) OR ((((((triple1) -> rule1) triple6) -> rule5) triple6) -> rule8) OR ((((((triple1) -> rule1) triple6) -> rule5) ((triple12) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((triple12) -> rule4)) -> rule5) triple6) -> rule8) OR ((((((triple1) -> rule1) triple6) -> rule5) ((((triple7 triple8) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((triple12) -> rule4)) -> rule5) ((triple12) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((triple12) -> rule4)) -> rule5) ((((triple7 triple8) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((((triple7 triple8) -> rule3)) -> rule4)) -> rule5) triple6) -> rule8) OR ((((((triple1) -> rule1) ((((triple7 triple8) -> rule3)) -> rule4)) -> rule5) ((triple12) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((((triple7 triple8) -> rule3)) -> rule4)) -> rule5) ((((triple7 triple8) -> rule3)) -> rule4)) -> rule8))] The rabbit likes the cow.[(triple11)] The rabbit needs the cow.[(triple12 OR ((triple7 triple8) -> rule3))] @1: The rabbit eats the cow.[(((triple1) -> rule1))] @2: The cow is rough.[(((((triple1) -> rule1) triple6) -> rule5) OR ((((triple1) -> rule1) ((triple12) -> rule4)) -> rule5) OR ((((triple1) -> rule1) ((((triple7 triple8) -> rule3)) -> rule4)) -> rule5))]