Bob is big. Bob is nice. Bob is quiet. Charlie is not red. Charlie is white. Charlie is young. Gary is big. Gary is red. Harry is furry. Harry is not quiet. Harry is red. Harry is white. If someone is quiet then they are young. Quiet people are not white. Young, nice people are big. Young, white people are nice. If Harry is white then Harry is furry. If Gary is quiet and Gary is not young then Gary is red.
Harry is not furry.
@0: Bob is big.[(triple1 OR ((((triple3) -> rule1) triple2) -> rule3))] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Charlie is not red.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Gary is big.[(triple7)] Gary is red.[(triple8)] Harry is furry.[(triple9 OR ((triple12) -> rule5))] Harry is not quiet.[(triple10)] Harry is red.[(triple11)] Harry is white.[(triple12)] @1: Bob is not white.[(((triple3) -> rule2))] Bob is young.[(((triple3) -> rule1))] Charlie is nice.[(((triple6 triple5) -> rule4))] @2: Charlie is big.[(((triple6 ((triple6 triple5) -> rule4)) -> rule3))]