Dave is big. Dave is cold. Erin is cold. Erin is young. Gary is big. Harry is red. Harry is rough. Harry is smart. Harry is white. Harry is young. All big, cold things are white. If something is young then it is cold.
Erin is not cold.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Erin is cold.[(triple3 OR ((triple4) -> rule2))] Erin is young.[(triple4)] Gary is big.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)] Harry is smart.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Dave is white.[(((triple1 triple2) -> rule1))] Harry is cold.[(((triple10) -> rule2))]