The dog is not big. The dog is green. The dog is nice. The dog is red. The dog is rough. If someone is green then they are red. All nice people are red. If someone is big and red then they are not green. If someone is nice then they are green. All rough, nice people are green. All green, nice people are not big. If someone is green and not nice then they are big. If someone is big then they are not rough.
The dog does not chase the dog.
@0: The dog is green.[(triple2 OR ((triple3) -> rule4) OR ((triple5 triple3) -> rule5))] The dog is nice.[(triple3)] The dog is not big.[(triple1 OR ((triple2 triple3) -> rule6) OR ((((triple3) -> rule4) triple3) -> rule6) OR ((((triple5 triple3) -> rule5) triple3) -> rule6))] The dog is red.[(triple4 OR ((triple2) -> rule1) OR ((triple3) -> rule2) OR ((((triple3) -> rule4)) -> rule1) OR ((((triple5 triple3) -> rule5)) -> rule1))] The dog is rough.[(triple5)]