The dog is big. The dog is cold. The dog is red. The dog is rough. The dog is not young. If the dog is red and the dog is not big then the dog is rough. Red, big things are cold. Red things are cold. If the dog is rough then the dog is red. If something is red and cold then it is rough. Rough things are not young. All cold things are not young. If something is big and not rough then it is young.
The dog is rough.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2 OR ((triple3) -> rule3) OR ((triple3 triple1) -> rule2) OR ((((triple4) -> rule4)) -> rule3) OR ((((triple4) -> rule4) triple1) -> rule2))] The dog is not young.[(triple5 OR ((triple2) -> rule7) OR ((triple4) -> rule6) OR ((((triple3) -> rule3)) -> rule7) OR ((((triple3 triple1) -> rule2)) -> rule7) OR ((((triple3 triple2) -> rule5)) -> rule6) OR ((((((triple4) -> rule4)) -> rule3)) -> rule7) OR ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule6) OR ((((triple3 ((triple3 triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4) -> rule4) triple1) -> rule2)) -> rule7))] The dog is red.[(triple3 OR ((triple4) -> rule4))] The dog is rough.[(triple4 OR ((triple3 triple2) -> rule5) OR ((triple3 ((triple3) -> rule3)) -> rule5) OR ((triple3 ((triple3 triple1) -> rule2)) -> rule5))]