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