The cat eats the cow. The cat is cold. The cat is rough. The cat likes the cow. The cat visits the cow. The cow eats the cat. The cow likes the cat. If the cat visits the cow and the cow likes the cat then the cat eats the cow. All cold people are nice. If someone is nice and they visit the cow then they are kind. If the cow visits the cat then the cat is rough. If someone visits the cat then the cat eats the cow. If someone is kind then they like the cat. If someone visits the cow and the cow eats the cat then they are rough. If the cat is kind then the cat likes the cow.
The cow is not rough.
@0: The cat eats the cow.[(triple1 OR ((triple5 triple7) -> rule1))] The cat is cold.[(triple2)] The cat is rough.[(triple3 OR ((triple5 triple6) -> rule7))] The cat likes the cow.[(triple4 OR ((((((triple2) -> rule2) triple5) -> rule3)) -> rule8))] The cat visits the cow.[(triple5)] The cow eats the cat.[(triple6)] The cow likes the cat.[(triple7)] @1: The cat is nice.[(((triple2) -> rule2))] @2: The cat is kind.[(((((triple2) -> rule2) triple5) -> rule3))] @3: The cat likes the cat.[(((((((triple2) -> rule2) triple5) -> rule3)) -> rule6))]