Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Gary is big. Gary is furry. Gary is green. Gary is quiet. Gary is round. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is quiet. Harry is round. If Gary is big then Gary is quiet. If something is green then it is furry. If Gary is cold then Gary is blue. All big, quiet things are blue. All furry things are round. All cold, furry things are blue. If something is blue then it is cold. All green things are furry.
Fiona is not quiet.
@0: Fiona is blue.[(triple1 OR ((triple2 ((triple3) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule8)) -> rule6))] Fiona is cold.[(triple2 OR ((triple1) -> rule7))] Fiona is green.[(triple3)] Fiona is quiet.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6 OR ((triple7) -> rule2) OR ((triple7) -> rule8))] Gary is green.[(triple7)] Gary is quiet.[(triple8 OR ((triple5) -> rule1))] Gary is round.[(triple9 OR ((triple6) -> rule5) OR ((((triple7) -> rule2)) -> rule5) OR ((((triple7) -> rule8)) -> rule5))] Harry is big.[(triple10)] Harry is blue.[(triple11 OR ((triple10 triple15) -> rule4) OR ((triple12 triple13) -> rule6) OR ((triple12 ((triple14) -> rule2)) -> rule6) OR ((triple12 ((triple14) -> rule8)) -> rule6))] Harry is cold.[(triple12 OR ((triple11) -> rule7) OR ((((triple10 triple15) -> rule4)) -> rule7))] Harry is furry.[(triple13 OR ((triple14) -> rule2) OR ((triple14) -> rule8))] Harry is green.[(triple14)] Harry is quiet.[(triple15)] Harry is round.[(triple16 OR ((triple13) -> rule5) OR ((((triple14) -> rule2)) -> rule5) OR ((((triple14) -> rule8)) -> rule5))] @1: Fiona is furry.[(((triple3) -> rule2) OR ((triple3) -> rule8))] Gary is blue.[(((triple5 triple8) -> rule4) OR ((triple5 ((triple5) -> rule1)) -> rule4))] @2: Fiona is round.[(((((triple3) -> rule2)) -> rule5) OR ((((triple3) -> rule8)) -> rule5))] Gary is cold.[(((((triple5 triple8) -> rule4)) -> rule7) OR ((((triple5 ((triple5) -> rule1)) -> rule4)) -> rule7))]