The dog is big. The dog is blue. The dog is cold. The dog is kind. The dog is rough. If the dog is rough then the dog is blue. All big things are rough. All cold things are kind.
The dog is big.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2 OR ((triple5) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] The dog is cold.[(triple3)] The dog is kind.[(triple4 OR ((triple3) -> rule3))] The dog is rough.[(triple5 OR ((triple1) -> rule2))]