The dog is rough. All rough things are big. If the dog is cold and the dog is rough then the dog is young. If something is big and cold then it is rough. If something is rough and big then it is cold. If the dog is rough and the dog is green then the dog is cold. If something is rough then it is big. All big, cold things are green. All cold, green things are big.
The dog is not big.
@0: The dog is rough.[(triple1)] @1: The dog is big.[(((triple1) -> rule1) OR ((triple1) -> rule6))] @2: The dog is cold.[(((triple1 ((triple1) -> rule1)) -> rule4) OR ((triple1 ((triple1) -> rule6)) -> rule4))] @3: The dog is green.[(((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule4)) -> rule7) OR ((((triple1) -> rule1) ((triple1 ((triple1) -> rule6)) -> rule4)) -> rule7) OR ((((triple1) -> rule6) ((triple1 ((triple1) -> rule1)) -> rule4)) -> rule7) OR ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule4)) -> rule7))] The dog is young.[(((((triple1 ((triple1) -> rule1)) -> rule4) triple1) -> rule2) OR ((((triple1 ((triple1) -> rule6)) -> rule4) triple1) -> rule2))]