The dog is big. The dog is blue. The dog is green. The dog is kind. The dog is round. If someone is round then they are big. Kind, blue people are round.
The dog is not round.
@0: The dog is big.[(triple1 OR ((triple5) -> rule1) OR ((((triple4 triple2) -> rule2)) -> rule1))] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is round.[(triple5 OR ((triple4 triple2) -> rule2))]