Bob is blue. Bob is rough. Bob is white. Bob is young. Dave is blue. Dave is cold. Dave is young. Gary is blue. Gary is cold. Gary is white. Blue, rough people are cold. All rough, blue people are white. If someone is blue and cold then they are big.
Dave is furry.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2)] Bob is white.[(triple3 OR ((triple2 triple1) -> rule2))] Bob is young.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is young.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is white.[(triple10)] @1: Bob is cold.[(((triple1 triple2) -> rule1))] Dave is big.[(((triple5 triple6) -> rule3))] Gary is big.[(((triple8 triple9) -> rule3))] @2: Bob is big.[(((triple1 ((triple1 triple2) -> rule1)) -> rule3))]