The cat is rough. The rabbit eats the cat. The rabbit is big. The rabbit is red. The rabbit is rough. The rabbit is young. The rabbit visits the cat. If someone eats the cat then the cat eats the rabbit. If someone visits the cat then the cat needs the rabbit. If someone is young then they visit the rabbit. If someone is rough then they are young. If someone needs the rabbit then they visit the cat. If the rabbit needs the cat then the cat visits the rabbit. Big people are young. If someone is young then they eat the cat.
The cat is round.
@0: The cat is rough.[(triple1)] The rabbit eats the cat.[(triple2 OR ((triple6) -> rule8) OR ((((triple3) -> rule7)) -> rule8) OR ((((triple5) -> rule4)) -> rule8))] The rabbit is big.[(triple3)] The rabbit is red.[(triple4)] The rabbit is rough.[(triple5)] The rabbit is young.[(triple6 OR ((triple3) -> rule7) OR ((triple5) -> rule4))] The rabbit visits the cat.[(triple7)] @1: The cat eats the rabbit.[(((triple2) -> rule1) OR ((((triple6) -> rule8)) -> rule1) OR ((((((triple1) -> rule4)) -> rule8)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8)) -> rule1))] The cat is young.[(((triple1) -> rule4))] The cat needs the rabbit.[(((triple7) -> rule2))] The rabbit visits the rabbit.[(((triple6) -> rule3) OR ((((triple3) -> rule7)) -> rule3) OR ((((triple5) -> rule4)) -> rule3))] @2: The cat eats the cat.[(((((triple1) -> rule4)) -> rule8))] The cat visits the cat.[(((((triple7) -> rule2)) -> rule5))] The cat visits the rabbit.[(((((triple1) -> rule4)) -> rule3))]