Fiona is green. Fiona is rough. Fiona is round. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is rough. Harry is furry. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is round. Green people are red. All rough people are cold. Round, quiet people are rough. All cold, furry people are red. If Gary is green and Gary is furry then Gary is quiet. All quiet, green people are rough.
Gary is round.
@0: Fiona is green.[(triple1)] Fiona is rough.[(triple2)] Fiona is round.[(triple3)] Gary is cold.[(triple4 OR ((triple9) -> rule2) OR ((((triple7 triple6) -> rule6)) -> rule2) OR ((((((triple6 triple5) -> rule5) triple6) -> rule6)) -> rule2))] Gary is furry.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7 OR ((triple6 triple5) -> rule5))] Gary is red.[(triple8 OR ((triple6) -> rule1) OR ((triple4 triple5) -> rule4) OR ((((triple9) -> rule2) triple5) -> rule4) OR ((((((triple7 triple6) -> rule6)) -> rule2) triple5) -> rule4) OR ((((((((triple6 triple5) -> rule5) triple6) -> rule6)) -> rule2) triple5) -> rule4))] Gary is rough.[(triple9 OR ((triple7 triple6) -> rule6) OR ((((triple6 triple5) -> rule5) triple6) -> rule6))] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is quiet.[(triple12)] Harry is red.[(triple13 OR ((triple11) -> rule1) OR ((((triple14) -> rule2) triple10) -> rule4) OR ((((((triple12 triple11) -> rule6)) -> rule2) triple10) -> rule4) OR ((((((triple15 triple12) -> rule3)) -> rule2) triple10) -> rule4))] Harry is rough.[(triple14 OR ((triple12 triple11) -> rule6) OR ((triple15 triple12) -> rule3))] Harry is round.[(triple15)] @1: Fiona is cold.[(((triple2) -> rule2))] Fiona is red.[(((triple1) -> rule1))] Harry is cold.[(((triple14) -> rule2) OR ((((triple12 triple11) -> rule6)) -> rule2) OR ((((triple15 triple12) -> rule3)) -> rule2))]