Bob is not big. Bob is quiet. Bob is rough. Bob is young. Erin is big. Erin is cold. Erin is not nice. Erin is quiet. Gary is big. Gary is cold. Gary is quiet. Gary is young. Harry is rough. Harry is smart. Harry is young. If someone is rough then they are cold. If someone is rough then they are smart. If someone is big then they are rough. If someone is nice then they are quiet. All cold people are young. If someone is smart and not cold then they are young.
Gary is not smart.
@0: Bob is not big.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4 OR ((((triple3) -> rule1)) -> rule5))] Erin is big.[(triple5)] Erin is cold.[(triple6 OR ((((triple5) -> rule3)) -> rule1))] Erin is not nice.[(triple7)] Erin is quiet.[(triple8)] Gary is big.[(triple9)] Gary is cold.[(triple10 OR ((((triple9) -> rule3)) -> rule1))] Gary is quiet.[(triple11)] Gary is young.[(triple12 OR ((triple10) -> rule5) OR ((((((triple9) -> rule3)) -> rule1)) -> rule5))] Harry is rough.[(triple13)] Harry is smart.[(triple14 OR ((triple13) -> rule2))] Harry is young.[(triple15 OR ((((triple13) -> rule1)) -> rule5))] @1: Bob is cold.[(((triple3) -> rule1))] Bob is smart.[(((triple3) -> rule2))] Erin is rough.[(((triple5) -> rule3))] Erin is young.[(((triple6) -> rule5) OR ((((((triple5) -> rule3)) -> rule1)) -> rule5))] Gary is rough.[(((triple9) -> rule3))] Harry is cold.[(((triple13) -> rule1))] @2: Erin is smart.[(((((triple5) -> rule3)) -> rule2))] Gary is smart.[(((((triple9) -> rule3)) -> rule2))]