The cat is blue. The cat is kind. The cat is nice. The cat is rough. The cat is round. The cat needs the rabbit. The cat sees the rabbit. The rabbit is blue. The rabbit is kind. The rabbit is rough. The rabbit likes the cat. The rabbit sees the cat. If the rabbit likes the cat then the cat likes the rabbit. If someone likes the cat then the cat is round. If someone sees the rabbit then they need the rabbit. If the rabbit is kind and the rabbit likes the cat then the rabbit needs the cat. If someone needs the cat then they see the rabbit. If someone sees the rabbit and they are rough then the rabbit sees the cat.
The cat does not like the cat.
@0: The cat is blue.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5 OR ((triple11) -> rule2))] The cat needs the rabbit.[(triple6 OR ((triple7) -> rule3))] The cat sees the rabbit.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the cat.[(triple11)] The rabbit sees the cat.[(triple12 OR ((triple7 triple4) -> rule6) OR ((((((triple9 triple11) -> rule4)) -> rule5) triple10) -> rule6))] @1: The cat likes the rabbit.[(((triple11) -> rule1))] The rabbit needs the cat.[(((triple9 triple11) -> rule4))] @2: The rabbit sees the rabbit.[(((((triple9 triple11) -> rule4)) -> rule5))] @3: The rabbit needs the rabbit.[(((((((triple9 triple11) -> rule4)) -> rule5)) -> rule3))]