The cat chases the cow. The cat is cold. The cat is red. The cat is rough. The cat needs the cow. The cat sees the cow. The cow chases the cat. The cow is kind. The cow is rough. The cow is young. The cow needs the cat. The cow sees the cat. If someone needs the cow and the cow needs the cat then the cow chases the cat. If the cat sees the cow then the cat is red. If someone needs the cat then they see the cat. If someone sees the cow then they are young. If the cat chases the cow and the cat is rough then the cow needs the cat. If someone needs the cat then they need the cow.
The cat does not see the cat.
@0: The cat chases the cow.[(triple1)] The cat is cold.[(triple2)] The cat is red.[(triple3 OR ((triple6) -> rule2))] The cat is rough.[(triple4)] The cat needs the cow.[(triple5)] The cat sees the cow.[(triple6)] The cow chases the cat.[(triple7 OR ((triple5 triple11) -> rule1) OR ((triple5 ((triple1 triple4) -> rule5)) -> rule1) OR ((((triple11) -> rule6) triple11) -> rule1) OR ((((triple11) -> rule6) ((triple1 triple4) -> rule5)) -> rule1) OR ((((((triple1 triple4) -> rule5)) -> rule6) triple11) -> rule1) OR ((((((triple1 triple4) -> rule5)) -> rule6) ((triple1 triple4) -> rule5)) -> rule1))] The cow is kind.[(triple8)] The cow is rough.[(triple9)] The cow is young.[(triple10)] The cow needs the cat.[(triple11 OR ((triple1 triple4) -> rule5))] The cow sees the cat.[(triple12 OR ((triple11) -> rule3) OR ((((triple1 triple4) -> rule5)) -> rule3))] @1: The cat is young.[(((triple6) -> rule4))] The cow needs the cow.[(((triple11) -> rule6) OR ((((triple1 triple4) -> rule5)) -> rule6))]