The dog is cold. The dog is green. The dog is red. The dog is round. The dog is young. Cold, red people are green. If the dog is round and the dog is green then the dog is cold. If someone is young and red then they are green. All red people are green. If someone is cold and red then they are young. If someone is cold and round then they are green.
The dog does not need the dog.
@0: The dog is cold.[(triple1 OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple3) -> rule4)) -> rule2) OR ((triple4 ((triple5 triple3) -> rule3)) -> rule2))] The dog is green.[(triple2 OR ((triple3) -> rule4) OR ((triple1 triple3) -> rule1) OR ((triple1 triple4) -> rule6) OR ((triple5 triple3) -> rule3) OR ((((triple1 triple3) -> rule5) triple3) -> rule3))] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5 OR ((triple1 triple3) -> rule5) OR ((((triple4 triple2) -> rule2) triple3) -> rule5) OR ((((triple4 ((triple3) -> rule4)) -> rule2) triple3) -> rule5))]