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