Bob is green. Bob is red. Charlie is green. Charlie is red. Gary is big. Gary is kind. Harry is rough. If Harry is red then Harry is rough. All green people are round. Round, furry people are big. All kind people are green. All rough people are kind. Round, kind people are furry. If Harry is red then Harry is big. Rough, round people are kind.
Gary is red.
@0: Bob is green.[(triple1)] Bob is red.[(triple2)] Charlie is green.[(triple3)] Charlie is red.[(triple4)] Gary is big.[(triple5 OR ((((((triple6) -> rule4)) -> rule2) ((((((triple6) -> rule4)) -> rule2) triple6) -> rule6)) -> rule3))] Gary is kind.[(triple6)] Harry is rough.[(triple7)] @1: Bob is round.[(((triple1) -> rule2))] Charlie is round.[(((triple3) -> rule2))] Gary is green.[(((triple6) -> rule4))] Harry is kind.[(((triple7) -> rule5))] @2: Gary is round.[(((((triple6) -> rule4)) -> rule2))] Harry is green.[(((((triple7) -> rule5)) -> rule4))] @3: Gary is furry.[(((((((triple6) -> rule4)) -> rule2) triple6) -> rule6))] Harry is round.[(((((((triple7) -> rule5)) -> rule4)) -> rule2))] @4: Harry is furry.[(((((((((triple7) -> rule5)) -> rule4)) -> rule2) ((triple7) -> rule5)) -> rule6))] @5: Harry is big.[(((((((((triple7) -> rule5)) -> rule4)) -> rule2) ((((((((triple7) -> rule5)) -> rule4)) -> rule2) ((triple7) -> rule5)) -> rule6)) -> rule3))]