The cat eats the rabbit. The cat is big. The cat is kind. The cat is red. The cat likes the rabbit. The cat visits the rabbit. The rabbit eats the cat. The rabbit is big. The rabbit is red. The rabbit is rough. The rabbit likes the cat. The rabbit visits the cat. If someone likes the cat then they are kind. If someone likes the rabbit and the rabbit eats the cat then the rabbit is nice. If someone is rough then they visit the rabbit. If someone is red and they eat the cat then they visit the cat. If someone visits the cat then they like the rabbit. If someone is nice then they are red. If someone eats the cat then the cat eats the rabbit. If someone likes the rabbit and the rabbit likes the cat then the cat likes the rabbit.
The cat eats the cat.
@0: The cat eats the rabbit.[(triple1 OR ((triple7) -> rule7))] The cat is big.[(triple2)] The cat is kind.[(triple3)] The cat is red.[(triple4)] The cat likes the rabbit.[(triple5 OR ((((triple12) -> rule5) triple11) -> rule8) OR ((((((triple9 triple7) -> rule4)) -> rule5) triple11) -> rule8))] The cat visits the rabbit.[(triple6)] The rabbit eats the cat.[(triple7)] The rabbit is big.[(triple8)] The rabbit is red.[(triple9 OR ((((triple5 triple7) -> rule2)) -> rule6) OR ((((((triple12) -> rule5) triple7) -> rule2)) -> rule6) OR ((((((((triple12) -> rule5) triple11) -> rule8) triple7) -> rule2)) -> rule6))] The rabbit is rough.[(triple10)] The rabbit likes the cat.[(triple11)] The rabbit visits the cat.[(triple12 OR ((triple9 triple7) -> rule4) OR ((((((triple5 triple7) -> rule2)) -> rule6) triple7) -> rule4))] @1: The rabbit is kind.[(((triple11) -> rule1))] The rabbit is nice.[(((triple5 triple7) -> rule2) OR ((((triple12) -> rule5) triple7) -> rule2) OR ((((((triple9 triple7) -> rule4)) -> rule5) triple7) -> rule2) OR ((((((triple12) -> rule5) triple11) -> rule8) triple7) -> rule2) OR ((((((((triple9 triple7) -> rule4)) -> rule5) triple11) -> rule8) triple7) -> rule2))] The rabbit likes the rabbit.[(((triple12) -> rule5) OR ((((triple9 triple7) -> rule4)) -> rule5) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple7) -> rule4)) -> rule5))] The rabbit visits the rabbit.[(((triple10) -> rule3))]