The dog is blue. The dog is green. The dog is nice. The dog is not rough. The dog is round. All rough people are nice. If someone is round and not green then they are not nice. If the dog is not round then the dog is not nice. If someone is nice and not green then they are rough. If someone is round and not rough then they are blue. If someone is green then they are blue. If someone is round and not green then they are blue. If someone is nice then they are blue.
The dog likes the dog.
@0: The dog is blue.[(triple1 OR ((triple2) -> rule6) OR ((triple3) -> rule8) OR ((triple5 triple4) -> rule5))] The dog is green.[(triple2)] The dog is nice.[(triple3)] The dog is not rough.[(triple4)] The dog is round.[(triple5)]