The cow is big. The cow is green. The cow is rough. The cow is round. The cow is young. The cow needs the rabbit. The cow sees the rabbit. The cow visits the rabbit. The rabbit is big. The rabbit is green. The rabbit is rough. The rabbit is round. The rabbit is young. The rabbit needs the cow. The rabbit sees the cow. The rabbit visits the cow. If the cow sees the rabbit then the rabbit needs the cow. If someone visits the cow and the cow visits the rabbit then the rabbit needs the cow. If someone needs the cow then they see the cow. If someone is big then they visit the cow. If someone needs the cow and they are round then the cow visits the rabbit. All green people are big. If someone is young then they visit the rabbit. If the rabbit is young and the rabbit needs the cow then the rabbit visits the cow.
The cow does not see the cow.
@0: The cow is big.[(triple1 OR ((triple2) -> rule6))] The cow is green.[(triple2)] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow needs the rabbit.[(triple6)] The cow sees the rabbit.[(triple7)] The cow visits the rabbit.[(triple8 OR ((triple5) -> rule7) OR ((triple14 triple12) -> rule5) OR ((((triple7) -> rule1) triple12) -> rule5))] The rabbit is big.[(triple9 OR ((triple10) -> rule6))] The rabbit is green.[(triple10)] The rabbit is rough.[(triple11)] The rabbit is round.[(triple12)] The rabbit is young.[(triple13)] The rabbit needs the cow.[(triple14 OR ((triple7) -> rule1) OR ((triple16 triple8) -> rule2) OR ((triple16 ((triple5) -> rule7)) -> rule2) OR ((((triple1) -> rule4) triple8) -> rule2) OR ((((triple9) -> rule4) triple8) -> rule2) OR ((((triple1) -> rule4) ((triple5) -> rule7)) -> rule2) OR ((((triple9) -> rule4) ((triple5) -> rule7)) -> rule2) OR ((((((triple10) -> rule6)) -> rule4) triple8) -> rule2) OR ((((((triple2) -> rule6)) -> rule4) triple8) -> rule2) OR ((((((triple10) -> rule6)) -> rule4) ((triple5) -> rule7)) -> rule2) OR ((((((triple2) -> rule6)) -> rule4) ((triple5) -> rule7)) -> rule2))] The rabbit sees the cow.[(triple15 OR ((triple14) -> rule3) OR ((((triple7) -> rule1)) -> rule3) OR ((((triple16 triple8) -> rule2)) -> rule3) OR ((((triple16 ((triple5) -> rule7)) -> rule2)) -> rule3) OR ((((((triple1) -> rule4) triple8) -> rule2)) -> rule3) OR ((((((triple9) -> rule4) triple8) -> rule2)) -> rule3) OR ((((((triple1) -> rule4) ((triple5) -> rule7)) -> rule2)) -> rule3) OR ((((((triple9) -> rule4) ((triple5) -> rule7)) -> rule2)) -> rule3) OR ((((((((triple10) -> rule6)) -> rule4) triple8) -> rule2)) -> rule3) OR ((((((((triple2) -> rule6)) -> rule4) triple8) -> rule2)) -> rule3) OR ((((((((triple10) -> rule6)) -> rule4) ((triple5) -> rule7)) -> rule2)) -> rule3) OR ((((((((triple2) -> rule6)) -> rule4) ((triple5) -> rule7)) -> rule2)) -> rule3))] The rabbit visits the cow.[(triple16 OR ((triple9) -> rule4) OR ((triple13 triple14) -> rule8) OR ((((triple10) -> rule6)) -> rule4) OR ((triple13 ((triple7) -> rule1)) -> rule8) OR ((triple13 ((((triple1) -> rule4) triple8) -> rule2)) -> rule8) OR ((triple13 ((((triple1) -> rule4) ((triple5) -> rule7)) -> rule2)) -> rule8) OR ((triple13 ((((((triple2) -> rule6)) -> rule4) triple8) -> rule2)) -> rule8) OR ((triple13 ((((((triple2) -> rule6)) -> rule4) ((triple5) -> rule7)) -> rule2)) -> rule8))] @1: The cow visits the cow.[(((triple1) -> rule4) OR ((((triple2) -> rule6)) -> rule4))] The rabbit visits the rabbit.[(((triple13) -> rule7))]