The dog is blue. The dog is green. The dog is kind. The dog is nice. The dog is rough. If the dog is blue and the dog is nice then the dog is green. If the dog is blue then the dog is kind. If the dog is rough then the dog is kind. Kind, blue things are green. If the dog is kind and the dog is nice then the dog is green. If the dog is green and the dog is rough then the dog is kind.
The dog is blue.
@0: The dog is blue.[(triple1)] The dog is green.[(triple2 OR ((triple1 triple4) -> rule1) OR ((triple3 triple1) -> rule4) OR ((triple3 triple4) -> rule5) OR ((((triple1) -> rule2) triple1) -> rule4) OR ((((triple1) -> rule2) triple4) -> rule5) OR ((((triple5) -> rule3) triple1) -> rule4) OR ((((triple5) -> rule3) triple4) -> rule5))] The dog is kind.[(triple3 OR ((triple1) -> rule2) OR ((triple5) -> rule3) OR ((triple2 triple5) -> rule6) OR ((((triple1 triple4) -> rule1) triple5) -> rule6))] The dog is nice.[(triple4)] The dog is rough.[(triple5)]