The cat eats the tiger. The cat is big. The cat is cold. The cat is kind. The cat is nice. The cat is round. The cat sees the tiger. The cat visits the tiger. The tiger eats the cat. The tiger is big. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is round. The tiger sees the cat. The tiger visits the cat. If someone is cold then they are big. If someone visits the cat then the cat visits the tiger. If someone visits the cat then the cat visits the tiger.
The tiger eats the cat.
@0: The cat eats the tiger.[(triple1)] The cat is big.[(triple2 OR ((triple3) -> rule1))] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat is round.[(triple6)] The cat sees the tiger.[(triple7)] The cat visits the tiger.[(triple8 OR ((triple16) -> rule2) OR ((triple16) -> rule3))] The tiger eats the cat.[(triple9)] The tiger is big.[(triple10 OR ((triple11) -> rule1))] The tiger is cold.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger is round.[(triple14)] The tiger sees the cat.[(triple15)] The tiger visits the cat.[(triple16)]