The dog is blue. The dog is green. The dog is rough. If the dog is nice and the dog is green then the dog is rough. Blue, green things are rough. If the dog is green and the dog is rough then the dog is blue. Young things are nice. If the dog is green then the dog is blue. All blue things are nice. Young things are rough. Nice, green things are young.
The dog is not blue.
@0: The dog is blue.[(triple1 OR ((triple2) -> rule5) OR ((triple2 triple3) -> rule3))] The dog is green.[(triple2)] The dog is rough.[(triple3 OR ((triple1 triple2) -> rule2) OR ((((triple1) -> rule6) triple2) -> rule1) OR ((((triple2) -> rule5) triple2) -> rule2) OR ((((((triple1) -> rule6) triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule5)) -> rule6) triple2) -> rule1) OR ((((((((triple2) -> rule5)) -> rule6) triple2) -> rule8)) -> rule7))] @1: The dog is nice.[(((triple1) -> rule6) OR ((((triple2) -> rule5)) -> rule6) OR ((((triple2 triple3) -> rule3)) -> rule6))] @2: The dog is young.[(((((triple1) -> rule6) triple2) -> rule8) OR ((((((triple2) -> rule5)) -> rule6) triple2) -> rule8) OR ((((((triple2 triple3) -> rule3)) -> rule6) triple2) -> rule8))]