The dog is big. The dog is blue. The dog is not cold. The dog is red. The dog is round. If the dog is big then the dog is round. If the dog is big then the dog is round. Big people are blue. If someone is blue and not cold then they are big. If someone is blue then they are red. Round people are red. Big, cold people are round. If someone is blue and not big then they are round.
The dog needs the dog.
@0: The dog is big.[(triple1 OR ((triple2 triple3) -> rule4))] The dog is blue.[(triple2 OR ((triple1) -> rule3))] The dog is not cold.[(triple3)] The dog is red.[(triple4 OR ((triple2) -> rule5) OR ((triple5) -> rule6) OR ((((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule2)) -> rule6) OR ((((triple1) -> rule3)) -> rule5) OR ((((((triple2 triple3) -> rule4)) -> rule1)) -> rule6) OR ((((((triple2 triple3) -> rule4)) -> rule2)) -> rule6))] The dog is round.[(triple5 OR ((triple1) -> rule1) OR ((triple1) -> rule2) OR ((((triple2 triple3) -> rule4)) -> rule1) OR ((((triple2 triple3) -> rule4)) -> rule2))]