The cat does not eat the tiger. The cat is big. The cat is cold. The cat is kind. The cat is rough. The cat needs the tiger. The cat visits the tiger. The tiger eats the cat. The tiger is big. The tiger is not cold. The tiger is kind. The tiger is nice. The tiger is rough. The tiger does not need the cat. The tiger visits the cat. If the tiger visits the cat and the tiger is kind then the tiger is big. If someone is cold then they are nice. If someone is nice then they do not need the cat.
The cat is kind.
@0: The cat does not eat the tiger.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat is rough.[(triple5)] The cat needs the tiger.[(triple6)] The cat visits the tiger.[(triple7)] The tiger does not need the cat.[(triple14 OR ((triple12) -> rule3))] The tiger eats the cat.[(triple8)] The tiger is big.[(triple9 OR ((triple15 triple11) -> rule1))] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is not cold.[(triple10)] The tiger is rough.[(triple13)] The tiger visits the cat.[(triple15)] @1: The cat is nice.[(((triple3) -> rule2))] @2: The cat does not need the cat.[(((((triple3) -> rule2)) -> rule3))]