Charlie is cold. Charlie is rough. Charlie is white. Erin is cold. Erin is smart. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is white. Gary is round. If Erin is white then Erin is blue. If someone is round then they are blue. Smart, cold people are white. All smart people are furry. Furry people are cold. Smart, furry people are round. If someone is blue then they are smart. If someone is smart and not cold then they are rough.
Fiona is smart.
@0: Charlie is cold.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Erin is cold.[(triple4 OR ((((triple5) -> rule4)) -> rule5))] Erin is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7 OR ((triple8) -> rule5) OR ((((((triple6) -> rule7)) -> rule4)) -> rule5))] Fiona is furry.[(triple8 OR ((((triple6) -> rule7)) -> rule4))] Fiona is white.[(triple9 OR ((((triple6) -> rule7) triple7) -> rule3) OR ((((triple6) -> rule7) ((triple8) -> rule5)) -> rule3) OR ((((triple6) -> rule7) ((((((triple6) -> rule7)) -> rule4)) -> rule5)) -> rule3))] Gary is round.[(triple10)] @1: Erin is furry.[(((triple5) -> rule4))] Erin is white.[(((triple5 triple4) -> rule3) OR ((triple5 ((((triple5) -> rule4)) -> rule5)) -> rule3))] Fiona is smart.[(((triple6) -> rule7))] Gary is blue.[(((triple10) -> rule2))] @2: Erin is blue.[(((((triple5 triple4) -> rule3)) -> rule1) OR ((((triple5 ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple5 ((((triple5) -> rule4)) -> rule5)) -> rule3)) -> rule1))] Erin is round.[(((triple5 ((triple5) -> rule4)) -> rule6))] Fiona is round.[(((((triple6) -> rule7) triple8) -> rule6) OR ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule4)) -> rule6))] Gary is smart.[(((((triple10) -> rule2)) -> rule7))] @3: Gary is furry.[(((((((triple10) -> rule2)) -> rule7)) -> rule4))] @4: Gary is cold.[(((((((((triple10) -> rule2)) -> rule7)) -> rule4)) -> rule5))] @5: Gary is white.[(((((((triple10) -> rule2)) -> rule7) ((((((((triple10) -> rule2)) -> rule7)) -> rule4)) -> rule5)) -> rule3))]