The cow is rough. The cow is round. The cow likes the rabbit. The cow sees the rabbit. The cow visits the rabbit. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit likes the cow. The rabbit sees the cow. The rabbit visits the cow. If the rabbit visits the cow and the rabbit likes the cow then the cow is kind. If the cow sees the rabbit then the cow is green. If the rabbit is rough and the rabbit is nice then the rabbit sees the cow. If something is rough and it likes the cow then it likes the rabbit. If something sees the cow then the cow is kind. If something visits the rabbit then it is nice.
The cow is not rough.
@0: The cow is rough.[(triple1)] The cow is round.[(triple2)] The cow likes the rabbit.[(triple3)] The cow sees the rabbit.[(triple4)] The cow visits the rabbit.[(triple5)] The rabbit is green.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is rough.[(triple9)] The rabbit likes the cow.[(triple10)] The rabbit sees the cow.[(triple11 OR ((triple9 triple8) -> rule3))] The rabbit visits the cow.[(triple12)] @1: The cow is green.[(((triple4) -> rule2))] The cow is kind.[(((triple11) -> rule5) OR ((triple12 triple10) -> rule1) OR ((((triple9 triple8) -> rule3)) -> rule5))] The cow is nice.[(((triple5) -> rule6))] The rabbit likes the rabbit.[(((triple9 triple10) -> rule4))]