The dog is cold. The dog is nice. The dog is red. The dog is rough. The dog is young. All rough people are cold. If someone is cold then they are red. Nice, rough people are cold. All cold people are nice. If someone is red and cold then they are nice. Rough, nice people are red.
The dog is not red.
@0: The dog is cold.[(triple1 OR ((triple4) -> rule1) OR ((triple2 triple4) -> rule3))] The dog is nice.[(triple2 OR ((triple1) -> rule4) OR ((triple3 triple1) -> rule5) OR ((((triple4) -> rule1)) -> rule4) OR ((triple3 ((triple4) -> rule1)) -> rule5) OR ((((triple1) -> rule2) triple1) -> rule5) OR ((((triple1) -> rule2) ((triple4) -> rule1)) -> rule5) OR ((((((triple4) -> rule1)) -> rule2) triple1) -> rule5) OR ((((((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule5))] The dog is red.[(triple3 OR ((triple1) -> rule2) OR ((triple4 triple2) -> rule6) OR ((((triple4) -> rule1)) -> rule2) OR ((((triple2 triple4) -> rule3)) -> rule2) OR ((triple4 ((triple1) -> rule4)) -> rule6) OR ((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule6))] The dog is rough.[(triple4)] The dog is young.[(triple5)]