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