The cat chases the cow. The cat is blue. The cat is green. The cat is kind. The cat is nice. The cat is round. The cat needs the cow. The cat visits the cow. The cow chases the cat. The cow is blue. The cow is green. The cow is kind. The cow is nice. The cow is round. The cow needs the cat. The cow visits the cat. If someone is nice then they need the cat. If someone needs the cow and the cow needs the cat then the cat is nice. If someone is round and they chase the cow then they are blue. If the cow chases the cat and the cow is blue then the cat chases the cow. If someone visits the cow and they are kind then the cow visits the cat. If the cow needs the cat then the cow is round. If someone visits the cat and the cat visits the cow then the cow is green. If someone chases the cow and they are kind then they are nice.
The cow visits the cow.
@0: The cat chases the cow.[(triple1 OR ((triple9 triple10) -> rule4))] The cat is blue.[(triple2 OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple9 triple10) -> rule4)) -> rule3))] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5 OR ((triple1 triple4) -> rule8) OR ((triple7 triple15) -> rule2) OR ((triple7 ((triple13) -> rule1)) -> rule2) OR ((((triple9 triple10) -> rule4) triple4) -> rule8))] The cat is round.[(triple6)] The cat needs the cow.[(triple7)] The cat visits the cow.[(triple8)] The cow chases the cat.[(triple9)] The cow is blue.[(triple10)] The cow is green.[(triple11 OR ((triple16 triple8) -> rule7) OR ((((triple8 triple4) -> rule5) triple8) -> rule7))] The cow is kind.[(triple12)] The cow is nice.[(triple13)] The cow is round.[(triple14 OR ((triple15) -> rule6) OR ((((triple13) -> rule1)) -> rule6))] The cow needs the cat.[(triple15 OR ((triple13) -> rule1))] The cow visits the cat.[(triple16 OR ((triple8 triple4) -> rule5))] @1: The cat needs the cat.[(((triple5) -> rule1) OR ((((triple1 triple4) -> rule8)) -> rule1) OR ((((triple7 triple15) -> rule2)) -> rule1) OR ((((triple7 ((triple13) -> rule1)) -> rule2)) -> rule1) OR ((((((triple9 triple10) -> rule4) triple4) -> rule8)) -> rule1))]