The cow is big. The cow is cold. The cow is nice. 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 cold. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit likes the cow. The rabbit needs the cow. The rabbit sees the cow. If something needs the rabbit and it sees the rabbit then the rabbit needs the cow. If something likes the cow and the cow needs the rabbit then the cow likes the rabbit. If the cow needs the rabbit then the rabbit needs the cow. If the cow is cold and the cow needs the rabbit then the cow sees the rabbit. If something needs the cow and it is rough then it likes the cow. If the cow likes the rabbit and the rabbit is red then the cow needs the rabbit.
The cow does not like the cow.
@0: The cow is big.[(triple1)] The cow is cold.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5)] The cow likes the rabbit.[(triple6 OR ((triple14 triple7) -> rule2) OR ((((triple15 triple13) -> rule5) triple7) -> rule2) OR ((((((triple7) -> rule3) triple13) -> rule5) triple7) -> rule2) OR ((((((triple7 triple8) -> rule1) triple13) -> rule5) triple7) -> rule2) OR ((((((triple7 ((triple2 triple7) -> rule4)) -> rule1) triple13) -> rule5) triple7) -> rule2))] The cow needs the rabbit.[(triple7 OR ((triple6 triple12) -> rule6))] The cow sees the rabbit.[(triple8 OR ((triple2 triple7) -> rule4) OR ((triple2 ((triple6 triple12) -> rule6)) -> rule4))] The rabbit is big.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is red.[(triple12)] The rabbit is rough.[(triple13)] The rabbit likes the cow.[(triple14 OR ((triple15 triple13) -> rule5) OR ((((triple7) -> rule3) triple13) -> rule5) OR ((((triple7 triple8) -> rule1) triple13) -> rule5) OR ((((((triple6 triple12) -> rule6)) -> rule3) triple13) -> rule5) OR ((((triple7 ((triple2 triple7) -> rule4)) -> rule1) triple13) -> rule5) OR ((((((triple6 triple12) -> rule6) triple8) -> rule1) triple13) -> rule5) OR ((((((triple6 triple12) -> rule6) ((triple2 triple7) -> rule4)) -> rule1) triple13) -> rule5) OR ((((triple7 ((triple2 ((triple6 triple12) -> rule6)) -> rule4)) -> rule1) triple13) -> rule5) OR ((((((triple6 triple12) -> rule6) ((triple2 ((triple6 triple12) -> rule6)) -> rule4)) -> rule1) triple13) -> rule5))] The rabbit needs the cow.[(triple15 OR ((triple7) -> rule3) OR ((triple7 triple8) -> rule1) OR ((((triple6 triple12) -> rule6)) -> rule3) OR ((triple7 ((triple2 triple7) -> rule4)) -> rule1) OR ((((triple6 triple12) -> rule6) triple8) -> rule1) OR ((((triple6 triple12) -> rule6) ((triple2 triple7) -> rule4)) -> rule1) OR ((triple7 ((triple2 ((triple6 triple12) -> rule6)) -> rule4)) -> rule1) OR ((((triple6 triple12) -> rule6) ((triple2 ((triple6 triple12) -> rule6)) -> rule4)) -> rule1))] The rabbit sees the cow.[(triple16)]