The cat eats the rabbit. The cat is big. The cat is cold. The cat needs the rabbit. The cat visits the dog. The dog is big. The dog is cold. The dog needs the rabbit. The rabbit eats the cat. The rabbit eats the dog. The rabbit is cold. The rabbit is kind. The rabbit is round. The rabbit needs the cat. The rabbit needs the dog. The rabbit visits the dog. If something is big and it eats the cat then it is green. If something is big then it eats the cat. If something is big and kind then it visits the dog. If something is green then it visits the cat. If something is big then it is green. If something visits the cat then the cat is round.
The rabbit eats the rabbit.
@0: The cat eats the rabbit.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat needs the rabbit.[(triple4)] The cat visits the dog.[(triple5)] The dog is big.[(triple6)] The dog is cold.[(triple7)] The dog needs the rabbit.[(triple8)] The rabbit eats the cat.[(triple9)] The rabbit eats the dog.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is round.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit needs the dog.[(triple15)] The rabbit visits the dog.[(triple16)] @1: The cat eats the cat.[(((triple2) -> rule2))] The cat is green.[(((triple2) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule1))] The dog eats the cat.[(((triple6) -> rule2))] The dog is green.[(((triple6) -> rule5) OR ((triple6 ((triple6) -> rule2)) -> rule1))] @2: The cat visits the cat.[(((((triple2) -> rule5)) -> rule4) OR ((((triple2 ((triple2) -> rule2)) -> rule1)) -> rule4))] The dog visits the cat.[(((((triple6) -> rule5)) -> rule4) OR ((((triple6 ((triple6) -> rule2)) -> rule1)) -> rule4))] @3: The cat is round.[(((((((triple2) -> rule5)) -> rule4)) -> rule6) OR ((((((triple6) -> rule5)) -> rule4)) -> rule6) OR ((((((triple2 ((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule6) OR ((((((triple6 ((triple6) -> rule2)) -> rule1)) -> rule4)) -> rule6))]