The cat is cold. The cat is kind. The cat likes the rabbit. The rabbit eats the cat. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit likes the cat. The rabbit needs the cat. If something likes the rabbit and the rabbit is cold then the rabbit needs the cat. If something eats the cat and the cat is blue then it eats the rabbit. If something is cold then it eats the cat. If something eats the rabbit and the rabbit needs the cat then it is red. If something likes the cat then it eats the cat. If something needs the rabbit then it is green. If something needs the rabbit and it needs the cat then the cat needs the rabbit. If something eats the cat then the cat is blue.
The rabbit is blue.
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat likes the rabbit.[(triple3)] The rabbit eats the cat.[(triple4 OR ((triple5) -> rule3) OR ((triple9) -> rule5))] The rabbit is cold.[(triple5)] The rabbit is green.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is red.[(triple8 OR ((((triple4 ((triple4) -> rule8)) -> rule2) triple10) -> rule4) OR ((((triple4 ((triple4) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule3) ((triple4) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple9) -> rule5) ((triple4) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple5) -> rule3) ((triple4) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple9) -> rule5) ((triple4) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((triple4 ((((triple1) -> rule3)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((triple4 ((((triple5) -> rule3)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((triple4 ((((triple9) -> rule5)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((triple4 ((((triple1) -> rule3)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((triple4 ((((triple5) -> rule3)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((triple4 ((((triple9) -> rule5)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule3) ((((triple1) -> rule3)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple5) -> rule3) ((((triple9) -> rule5)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple9) -> rule5) ((((triple1) -> rule3)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple9) -> rule5) ((((triple5) -> rule3)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple5) -> rule3) ((((triple1) -> rule3)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule3) ((((triple9) -> rule5)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple9) -> rule5) ((((triple1) -> rule3)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple9) -> rule5) ((((triple5) -> rule3)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4))] The rabbit likes the cat.[(triple9)] The rabbit needs the cat.[(triple10 OR ((triple3 triple5) -> rule1))] @1: The cat eats the cat.[(((triple1) -> rule3))] The cat is blue.[(((triple4) -> rule8) OR ((((triple1) -> rule3)) -> rule8) OR ((((triple5) -> rule3)) -> rule8) OR ((((triple9) -> rule5)) -> rule8))] @2: The cat eats the rabbit.[(((((triple1) -> rule3) ((triple4) -> rule8)) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((triple1) -> rule3) ((((triple5) -> rule3)) -> rule8)) -> rule2) OR ((((triple1) -> rule3) ((((triple9) -> rule5)) -> rule8)) -> rule2))] The rabbit eats the rabbit.[(((triple4 ((triple4) -> rule8)) -> rule2) OR ((((triple5) -> rule3) ((triple4) -> rule8)) -> rule2) OR ((((triple9) -> rule5) ((triple4) -> rule8)) -> rule2) OR ((triple4 ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((triple4 ((((triple5) -> rule3)) -> rule8)) -> rule2) OR ((triple4 ((((triple9) -> rule5)) -> rule8)) -> rule2) OR ((((triple5) -> rule3) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule8)) -> rule2) OR ((((triple5) -> rule3) ((((triple9) -> rule5)) -> rule8)) -> rule2) OR ((((triple9) -> rule5) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((triple9) -> rule5) ((((triple5) -> rule3)) -> rule8)) -> rule2) OR ((((triple9) -> rule5) ((((triple9) -> rule5)) -> rule8)) -> rule2))] @3: The cat is red.[(((((((triple1) -> rule3) ((triple4) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple1) -> rule3) ((triple4) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple1) -> rule3) ((((triple5) -> rule3)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple1) -> rule3) ((((triple9) -> rule5)) -> rule8)) -> rule2) triple10) -> rule4) OR ((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple1) -> rule3) ((((triple5) -> rule3)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple1) -> rule3) ((((triple9) -> rule5)) -> rule8)) -> rule2) ((triple3 triple5) -> rule1)) -> rule4))]