Charlie is quiet. Charlie is round. Charlie is smart. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is round. Erin is smart. Gary is red. Gary is round. Gary is smart. Harry is blue. Harry is quiet. Harry is red. Harry is round. Quiet, kind people are blue. All green people are kind. Quiet, round people are kind. If Erin is round then Erin is blue. Red people are kind. All green, blue people are kind. Blue people are red. If someone is blue then they are kind.
Harry is smart.
@0: Charlie is quiet.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5 OR ((triple4) -> rule2) OR ((triple7) -> rule5) OR ((triple6 triple8) -> rule3) OR ((((triple8) -> rule4)) -> rule8) OR ((triple4 ((triple8) -> rule4)) -> rule6) OR ((((((triple8) -> rule4)) -> rule7)) -> rule5))] Erin is quiet.[(triple6)] Erin is red.[(triple7 OR ((((triple8) -> rule4)) -> rule7) OR ((((triple6 triple5) -> rule1)) -> rule7) OR ((((triple6 ((triple4) -> rule2)) -> rule1)) -> rule7) OR ((((triple6 ((triple6 triple8) -> rule3)) -> rule1)) -> rule7))] Erin is round.[(triple8)] Erin is smart.[(triple9)] Gary is red.[(triple10)] Gary is round.[(triple11)] Gary is smart.[(triple12)] Harry is blue.[(triple13 OR ((triple14 ((triple15) -> rule5)) -> rule1) OR ((triple14 ((triple14 triple16) -> rule3)) -> rule1))] Harry is quiet.[(triple14)] Harry is red.[(triple15 OR ((triple13) -> rule7) OR ((((triple14 ((triple14 triple16) -> rule3)) -> rule1)) -> rule7))] Harry is round.[(triple16)] @1: Charlie is kind.[(((triple1 triple2) -> rule3))] Erin is blue.[(((triple8) -> rule4) OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple4) -> rule2)) -> rule1) OR ((triple6 ((triple7) -> rule5)) -> rule1) OR ((triple6 ((triple6 triple8) -> rule3)) -> rule1))] Gary is kind.[(((triple10) -> rule5))] Harry is kind.[(((triple13) -> rule8) OR ((triple15) -> rule5) OR ((triple14 triple16) -> rule3) OR ((((triple13) -> rule7)) -> rule5))] @2: Charlie is blue.[(((triple1 ((triple1 triple2) -> rule3)) -> rule1))] @3: Charlie is red.[(((((triple1 ((triple1 triple2) -> rule3)) -> rule1)) -> rule7))]