The dog is blue. All big, rough people are green. Blue people are rough. All blue, rough people are big. If someone is green then they are cold. If someone is big then they are cold. All blue people are rough.
The dog is not blue.
@0: The dog is blue.[(triple1)] @1: The dog is rough.[(((triple1) -> rule2) OR ((triple1) -> rule6))] @2: The dog is big.[(((triple1 ((triple1) -> rule2)) -> rule3) OR ((triple1 ((triple1) -> rule6)) -> rule3))] @3: The dog is cold.[(((((triple1 ((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((((triple1 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule1)) -> rule4) OR ((((((triple1 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule6)) -> rule1)) -> rule4) OR ((((((triple1 ((triple1) -> rule6)) -> rule3) ((triple1) -> rule2)) -> rule1)) -> rule4) OR ((((((triple1 ((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule1)) -> rule4))] The dog is green.[(((((triple1 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule1) OR ((((triple1 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule6)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule3) ((triple1) -> rule2)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule1))]