The dog is big. The dog is cold. The dog is kind. The dog is rough. The dog is young. If something is kind and young then it is big. If something is rough and cold then it is kind.
The dog is not rough.
@0: The dog is big.[(triple1 OR ((triple3 triple5) -> rule1) OR ((((triple4 triple2) -> rule2) triple5) -> rule1))] The dog is cold.[(triple2)] The dog is kind.[(triple3 OR ((triple4 triple2) -> rule2))] The dog is rough.[(triple4)] The dog is young.[(triple5)]