The cow is blue. The cow is cold. The cow is green. The cow is nice. The cow likes the rabbit. The cow does not need the rabbit. The cow does not see the rabbit. The rabbit is not blue. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is not young. The rabbit likes the cow. The rabbit needs the cow. The rabbit sees the cow. If the cow likes the rabbit then the rabbit needs the cow. If someone likes the cow and they like the rabbit then they see the rabbit. If someone sees the rabbit then they are not young. If someone is young and blue then they need the cow. If someone likes the cow then the cow likes the rabbit. If the cow sees the rabbit and the cow is green then the rabbit likes the cow. If someone likes the rabbit and they are nice then they are cold. If someone sees the rabbit and the rabbit does not need the cow then the rabbit does not see the cow.
The cow is nice.
@0: The cow does not need the rabbit.[(triple6)] The cow does not see the rabbit.[(triple7)] The cow is blue.[(triple1)] The cow is cold.[(triple2 OR ((triple5 triple4) -> rule7) OR ((((triple13) -> rule5) triple4) -> rule7))] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow likes the rabbit.[(triple5 OR ((triple13) -> rule5))] The rabbit is cold.[(triple9)] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is not blue.[(triple8)] The rabbit is not young.[(triple12)] The rabbit likes the cow.[(triple13)] The rabbit needs the cow.[(triple14 OR ((triple5) -> rule1) OR ((((triple13) -> rule5)) -> rule1))] The rabbit sees the cow.[(triple15)]