The cat eats the rabbit. The cat is cold. The cat is young. The cat sees the rabbit. The cat visits the rabbit. The rabbit sees the cat. The rabbit visits the cat. If something visits the rabbit and the rabbit eats the cat then the cat visits the rabbit. If something is blue then it sees the cat. If something visits the rabbit then it is blue. If something visits the rabbit then it eats the cat. If something sees the cat then the cat sees the rabbit. If something is big and it sees the cat then it visits the cat. If something is cold then it sees the cat. If something is blue then it is big.
The cat is not big.
@0: The cat eats the rabbit.[(triple1)] The cat is cold.[(triple2)] The cat is young.[(triple3)] The cat sees the rabbit.[(triple4 OR ((triple6) -> rule5) OR ((((triple2) -> rule7)) -> rule5) OR ((((((triple5) -> rule3)) -> rule2)) -> rule5))] The cat visits the rabbit.[(triple5)] The rabbit sees the cat.[(triple6)] The rabbit visits the cat.[(triple7)] @1: The cat eats the cat.[(((triple5) -> rule4))] The cat is blue.[(((triple5) -> rule3))] The cat sees the cat.[(((triple2) -> rule7) OR ((((triple5) -> rule3)) -> rule2))] @2: The cat is big.[(((((triple5) -> rule3)) -> rule8))] @3: The cat visits the cat.[(((((((triple5) -> rule3)) -> rule8) ((triple2) -> rule7)) -> rule6) OR ((((((triple5) -> rule3)) -> rule8) ((((triple5) -> rule3)) -> rule2)) -> rule6))]