Bob is big. Bob is blue. Bob is cold. Bob is quiet. Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is round. Fiona is blue. Fiona is nice. Fiona is round. Gary is cold. Gary is nice. Nice, furry things are quiet. If Gary is nice then Gary is big. If something is big then it is furry. Quiet, big things are cold. If Gary is blue then Gary is big. If something is big and round then it is cold.
Gary is round.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple4 triple1) -> rule4))] Bob is quiet.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6 OR ((triple5 triple10) -> rule6) OR ((triple9 triple5) -> rule4) OR ((((triple8 triple7) -> rule1) triple5) -> rule4) OR ((((triple8 ((triple5) -> rule3)) -> rule1) triple5) -> rule4))] Erin is furry.[(triple7 OR ((triple5) -> rule3))] Erin is nice.[(triple8)] Erin is quiet.[(triple9 OR ((triple8 triple7) -> rule1) OR ((triple8 ((triple5) -> rule3)) -> rule1))] Erin is round.[(triple10)] Fiona is blue.[(triple11)] Fiona is nice.[(triple12)] Fiona is round.[(triple13)] Gary is cold.[(triple14 OR ((((triple15 ((((triple15) -> rule2)) -> rule3)) -> rule1) ((triple15) -> rule2)) -> rule4))] Gary is nice.[(triple15)] @1: Bob is furry.[(((triple1) -> rule3))] Gary is big.[(((triple15) -> rule2))] @2: Gary is furry.[(((((triple15) -> rule2)) -> rule3))] @3: Gary is quiet.[(((triple15 ((((triple15) -> rule2)) -> rule3)) -> rule1))]