Fiona is quiet. Fiona is rough. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Harry is green. Harry is nice. Harry is rough. Harry is smart. All nice people are green. If someone is nice then they are smart. Smart, round people are quiet. Round, quiet people are kind. Round, quiet people are nice. Rough people are green. If Gary is round then Gary is nice. All smart people are quiet.
Harry is green.
@0: Fiona is quiet.[(triple1)] Fiona is rough.[(triple2)] Gary is nice.[(triple3 OR ((triple6) -> rule7) OR ((triple6 triple4) -> rule5))] Gary is quiet.[(triple4 OR ((((triple3) -> rule2)) -> rule8) OR ((((triple3) -> rule2) triple6) -> rule3) OR ((((((triple6) -> rule7)) -> rule2)) -> rule8) OR ((((((triple6) -> rule7)) -> rule2) triple6) -> rule3))] Gary is rough.[(triple5)] Gary is round.[(triple6)] Harry is green.[(triple7 OR ((triple8) -> rule1) OR ((triple9) -> rule6))] Harry is nice.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10 OR ((triple8) -> rule2))] @1: Fiona is green.[(((triple2) -> rule6))] Gary is green.[(((triple3) -> rule1) OR ((triple5) -> rule6) OR ((((triple6) -> rule7)) -> rule1) OR ((((triple6 triple4) -> rule5)) -> rule1))] Gary is kind.[(((triple6 triple4) -> rule4) OR ((triple6 ((((triple3) -> rule2)) -> rule8)) -> rule4) OR ((triple6 ((((triple3) -> rule2) triple6) -> rule3)) -> rule4) OR ((triple6 ((((((triple6) -> rule7)) -> rule2)) -> rule8)) -> rule4) OR ((triple6 ((((((triple6) -> rule7)) -> rule2) triple6) -> rule3)) -> rule4))] Gary is smart.[(((triple3) -> rule2) OR ((((triple6) -> rule7)) -> rule2) OR ((((triple6 triple4) -> rule5)) -> rule2))] Harry is quiet.[(((triple10) -> rule8) OR ((((triple8) -> rule2)) -> rule8))]