Charlie is cold. Charlie is furry. Charlie is smart. Dave is furry. Dave is young. Gary is quiet. Gary is smart. Harry is furry. Harry is quiet. Harry is young. If someone is cold and quiet then they are white. If someone is cold and big then they are young. All furry people are white. Quiet people are cold. If someone is furry then they are white. If someone is smart and white then they are furry. All furry people are big.
Gary is young.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is smart.[(triple3)] Dave is furry.[(triple4)] Dave is young.[(triple5)] Gary is quiet.[(triple6)] Gary is smart.[(triple7)] Harry is furry.[(triple8)] Harry is quiet.[(triple9)] Harry is young.[(triple10 OR ((((triple9) -> rule4) ((triple8) -> rule7)) -> rule2))] @1: Charlie is big.[(((triple2) -> rule7))] Charlie is white.[(((triple2) -> rule3) OR ((triple2) -> rule5))] Dave is big.[(((triple4) -> rule7))] Dave is white.[(((triple4) -> rule3) OR ((triple4) -> rule5))] Gary is cold.[(((triple6) -> rule4))] Harry is big.[(((triple8) -> rule7))] Harry is cold.[(((triple9) -> rule4))] Harry is white.[(((triple8) -> rule3) OR ((triple8) -> rule5) OR ((((triple9) -> rule4) triple9) -> rule1))] @2: Charlie is young.[(((triple1 ((triple2) -> rule7)) -> rule2))] Gary is white.[(((((triple6) -> rule4) triple6) -> rule1))] @3: Gary is furry.[(((triple7 ((((triple6) -> rule4) triple6) -> rule1)) -> rule6))] @4: Gary is big.[(((((triple7 ((((triple6) -> rule4) triple6) -> rule1)) -> rule6)) -> rule7))] @5: Gary is young.[(((((triple6) -> rule4) ((((triple7 ((((triple6) -> rule4) triple6) -> rule1)) -> rule6)) -> rule7)) -> rule2))]