The dog is big. The dog is blue. The dog is cold. The dog is kind. The dog is round. If the dog is round then the dog is blue. Round, blue things are big. Big things are blue. If the dog is cold and the dog is not big then the dog is kind. If something is cold and not round then it is not kind. If something is kind then it is cold.
The dog eats the dog.
@0: The dog is big.[(triple1 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple5) -> rule1)) -> rule2))] The dog is blue.[(triple2 OR ((triple1) -> rule3) OR ((triple5) -> rule1))] The dog is cold.[(triple3 OR ((triple4) -> rule6))] The dog is kind.[(triple4)] The dog is round.[(triple5)]