The dog is cold. The dog is nice. The dog is red. If the dog is blue and the dog is red then the dog is nice. If the dog is nice and the dog is young then the dog is cold. All red things are blue. Cold things are red. If something is blue and nice then it is young. All red things are nice. Red, blue things are cold. All blue things are young.
The dog is blue.
@0: The dog is cold.[(triple1 OR ((triple3 ((triple3) -> rule3)) -> rule7) OR ((triple2 ((((triple3) -> rule3)) -> rule8)) -> rule2) OR ((triple2 ((((triple3) -> rule3) triple2) -> rule5)) -> rule2) OR ((triple2 ((((triple3) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule2) OR ((((triple3) -> rule6) ((((triple3) -> rule3)) -> rule8)) -> rule2) OR ((((triple3) -> rule6) ((((triple3) -> rule3) triple2) -> rule5)) -> rule2) OR ((((triple3) -> rule6) ((((triple3) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule2) OR ((((((triple3) -> rule3) triple3) -> rule1) ((((triple3) -> rule3)) -> rule8)) -> rule2) OR ((((((triple3) -> rule3) triple3) -> rule1) ((((triple3) -> rule3) triple2) -> rule5)) -> rule2) OR ((((((triple3) -> rule3) triple3) -> rule1) ((((triple3) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule2) OR ((triple2 ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule1)) -> rule5)) -> rule2) OR ((((triple3) -> rule6) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule1)) -> rule5)) -> rule2) OR ((((((triple3) -> rule3) triple3) -> rule1) ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule1)) -> rule5)) -> rule2))] The dog is nice.[(triple2 OR ((triple3) -> rule6) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple3) -> rule3) triple3) -> rule1) OR ((((triple3) -> rule3) ((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule4)) -> rule3) triple3) -> rule1) OR ((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule1))] The dog is red.[(triple3 OR ((triple1) -> rule4))] @1: The dog is blue.[(((triple3) -> rule3) OR ((((triple1) -> rule4)) -> rule3))] @2: The dog is young.[(((((triple3) -> rule3)) -> rule8) OR ((((triple3) -> rule3) triple2) -> rule5) OR ((((triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3)) -> rule8) OR ((((((triple1) -> rule4)) -> rule3) triple2) -> rule5) OR ((((triple3) -> rule3) ((((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule1)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule3) ((((triple3) -> rule3) ((triple1) -> rule4)) -> rule1)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) ((((triple1) -> rule4)) -> rule6)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) ((((triple3) -> rule3) triple3) -> rule1)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) ((((triple3) -> rule3) ((triple1) -> rule4)) -> rule1)) -> rule5) OR ((((triple3) -> rule3) ((((((triple1) -> rule4)) -> rule3) triple3) -> rule1)) -> rule5) OR ((((triple3) -> rule3) ((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule1)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) ((((((triple1) -> rule4)) -> rule3) triple3) -> rule1)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) ((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule1)) -> rule5))]