Charlie is blue. Charlie is furry. Charlie is quiet. Gary is green. Gary is quiet. Gary is rough. Harry is furry. Harry is green. Harry is quiet. Harry is round. All furry, round people are green. Kind people are quiet. All green, blue people are kind. Round, quiet people are blue. All quiet, furry people are rough. If someone is kind and quiet then they are furry. All round people are furry. Kind people are blue.
Charlie is round.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3)] Gary is green.[(triple4)] Gary is quiet.[(triple5)] Gary is rough.[(triple6)] Harry is furry.[(triple7 OR ((triple10) -> rule7) OR ((((triple8 ((triple10 triple9) -> rule4)) -> rule3) triple9) -> rule6))] Harry is green.[(triple8 OR ((triple7 triple10) -> rule1) OR ((((triple10) -> rule7) triple10) -> rule1))] Harry is quiet.[(triple9)] Harry is round.[(triple10)] @1: Charlie is rough.[(((triple3 triple2) -> rule5))] Harry is blue.[(((triple10 triple9) -> rule4))] Harry is rough.[(((triple9 triple7) -> rule5) OR ((triple9 ((triple10) -> rule7)) -> rule5) OR ((triple9 ((((triple8 ((triple10 triple9) -> rule4)) -> rule3) triple9) -> rule6)) -> rule5))] @2: Harry is kind.[(((triple8 ((triple10 triple9) -> rule4)) -> rule3) OR ((((triple7 triple10) -> rule1) ((triple10 triple9) -> rule4)) -> rule3) OR ((((((triple10) -> rule7) triple10) -> rule1) ((triple10 triple9) -> rule4)) -> rule3))]