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