The cow eats the rabbit. The cow is blue. The cow is cold. The cow is nice. The cow is red. The cow is young. The cow likes the rabbit. The cow needs the rabbit. The rabbit eats the cow. The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is red. The rabbit is young. The rabbit likes the cow. The rabbit needs the cow. If the rabbit needs the cow and the cow needs the rabbit then the cow is nice. If someone likes the rabbit then the rabbit needs the cow. If the rabbit likes the cow then the rabbit eats the cow. If someone needs the cow then the cow needs the rabbit. If someone is blue then they eat the cow. If someone needs the rabbit and they like the rabbit then the rabbit needs the cow. If someone needs the rabbit and they are blue then the rabbit eats the cow. If someone is blue and they eat the cow then they are young.
The cow needs the cow.
@0: The cow eats the rabbit.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is nice.[(triple4 OR ((triple16 triple8) -> rule1) OR ((triple16 ((triple16) -> rule4)) -> rule1) OR ((((triple7) -> rule2) triple8) -> rule1) OR ((((triple8 triple7) -> rule6) triple8) -> rule1) OR ((((triple7) -> rule2) ((triple16) -> rule4)) -> rule1) OR ((((triple8 triple7) -> rule6) ((triple16) -> rule4)) -> rule1) OR ((triple16 ((((triple7) -> rule2)) -> rule4)) -> rule1) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule1) OR ((((triple8 triple7) -> rule6) ((((triple7) -> rule2)) -> rule4)) -> rule1))] The cow is red.[(triple5)] The cow is young.[(triple6 OR ((triple2 ((triple2) -> rule5)) -> rule8))] The cow likes the rabbit.[(triple7)] The cow needs the rabbit.[(triple8 OR ((triple16) -> rule4) OR ((((triple7) -> rule2)) -> rule4))] The rabbit eats the cow.[(triple9 OR ((triple10) -> rule5) OR ((triple15) -> rule3) OR ((triple8 triple2) -> rule7) OR ((((triple16) -> rule4) triple2) -> rule7) OR ((((((triple7) -> rule2)) -> rule4) triple2) -> rule7))] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is red.[(triple13)] The rabbit is young.[(triple14 OR ((triple10 triple9) -> rule8) OR ((triple10 ((triple10) -> rule5)) -> rule8) OR ((triple10 ((triple15) -> rule3)) -> rule8) OR ((triple10 ((triple8 triple2) -> rule7)) -> rule8) OR ((triple10 ((((triple16) -> rule4) triple2) -> rule7)) -> rule8) OR ((triple10 ((((((triple7) -> rule2)) -> rule4) triple2) -> rule7)) -> rule8))] The rabbit likes the cow.[(triple15)] The rabbit needs the cow.[(triple16 OR ((triple7) -> rule2) OR ((triple8 triple7) -> rule6))] @1: The cow eats the cow.[(((triple2) -> rule5))]