Bob is cold. Bob is green. Bob is kind. Bob is smart. Bob is white. Bob is young. Dave is cold. Dave is green. Dave is kind. Dave is smart. Dave is young. Gary is cold. Gary is green. Gary is rough. Gary is white. Gary is young. All young, cold people are smart. Young people are cold.
Gary is cold.
@0: Bob is cold.[(triple1 OR ((triple6) -> rule2))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4 OR ((triple6 triple1) -> rule1) OR ((triple6 ((triple6) -> rule2)) -> rule1))] Bob is white.[(triple5)] Bob is young.[(triple6)] Dave is cold.[(triple7 OR ((triple11) -> rule2))] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is smart.[(triple10 OR ((triple11 triple7) -> rule1) OR ((triple11 ((triple11) -> rule2)) -> rule1))] Dave is young.[(triple11)] Gary is cold.[(triple12 OR ((triple16) -> rule2))] Gary is green.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Gary is smart.[(((triple16 triple12) -> rule1) OR ((triple16 ((triple16) -> rule2)) -> rule1))]