The dog is big. The dog is nice. The dog is rough. If something is big and nice then it is blue. If the dog is cold and the dog is rough then the dog is nice. Nice things are big. If something is rough and big then it is cold. All cold things are nice. Blue things are cold. Big, blue things are nice. If the dog is blue and the dog is rough then the dog is nice.
The dog is not rough.
@0: The dog is big.[(triple1 OR ((triple2) -> rule3))] The dog is nice.[(triple2 OR ((((triple3 triple1) -> rule4)) -> rule5) OR ((((triple3 triple1) -> rule4) triple3) -> rule2))] The dog is rough.[(triple3)] @1: The dog is blue.[(((triple1 triple2) -> rule1) OR ((((triple2) -> rule3) triple2) -> rule1) OR ((triple1 ((((triple3 triple1) -> rule4)) -> rule5)) -> rule1) OR ((triple1 ((((triple3 triple1) -> rule4) triple3) -> rule2)) -> rule1) OR ((((triple2) -> rule3) ((((triple3 triple1) -> rule4)) -> rule5)) -> rule1) OR ((((triple2) -> rule3) ((((triple3 triple1) -> rule4) triple3) -> rule2)) -> rule1))] The dog is cold.[(((triple3 triple1) -> rule4) OR ((((triple1 triple2) -> rule1)) -> rule6) OR ((triple3 ((triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule3) triple2) -> rule1)) -> rule6))]