Charlie is green. Erin is cold. Erin is kind. Erin is quiet. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is white. Gary is cold. Quiet people are furry. Green, furry people are white. All white people are quiet. If someone is furry then they are round. Kind people are cold. All cold people are white. Quiet, round people are green. Round, white people are cold.
Fiona is not furry.
@0: Charlie is green.[(triple1)] Erin is cold.[(triple2 OR ((triple3) -> rule5) OR ((((((triple4) -> rule1)) -> rule4) ((((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule8))] Erin is kind.[(triple3)] Erin is quiet.[(triple4 OR ((((triple2) -> rule6)) -> rule3) OR ((((((triple3) -> rule5)) -> rule6)) -> rule3))] Fiona is cold.[(triple5 OR ((triple8) -> rule5) OR ((((triple6) -> rule4) triple9) -> rule8) OR ((((triple6) -> rule4) ((triple7 triple6) -> rule2)) -> rule8) OR ((((((((triple9) -> rule3)) -> rule1)) -> rule4) triple9) -> rule8) OR ((((((((triple9) -> rule3)) -> rule1)) -> rule4) ((triple7 triple6) -> rule2)) -> rule8))] Fiona is furry.[(triple6 OR ((((triple9) -> rule3)) -> rule1) OR ((((((triple5) -> rule6)) -> rule3)) -> rule1) OR ((((((((triple8) -> rule5)) -> rule6)) -> rule3)) -> rule1))] Fiona is green.[(triple7 OR ((((triple9) -> rule3) ((triple6) -> rule4)) -> rule7) OR ((((((triple5) -> rule6)) -> rule3) ((triple6) -> rule4)) -> rule7) OR ((((triple9) -> rule3) ((((((triple9) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple8) -> rule5)) -> rule6)) -> rule3) ((triple6) -> rule4)) -> rule7) OR ((((((triple5) -> rule6)) -> rule3) ((((((triple9) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple8) -> rule5)) -> rule6)) -> rule3) ((((((triple9) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((triple9) -> rule3) ((((((((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule6)) -> rule3) ((((((((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple8) -> rule5)) -> rule6)) -> rule3) ((((((((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((triple9) -> rule3) ((((((((((triple8) -> rule5)) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple5) -> rule6)) -> rule3) ((((((((((triple8) -> rule5)) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple8) -> rule5)) -> rule6)) -> rule3) ((((((((((triple8) -> rule5)) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7))] Fiona is kind.[(triple8)] Fiona is white.[(triple9 OR ((triple5) -> rule6) OR ((triple7 triple6) -> rule2) OR ((((triple8) -> rule5)) -> rule6))] Gary is cold.[(triple10)] @1: Erin is furry.[(((triple4) -> rule1) OR ((((((triple2) -> rule6)) -> rule3)) -> rule1) OR ((((((((triple3) -> rule5)) -> rule6)) -> rule3)) -> rule1))] Erin is white.[(((triple2) -> rule6) OR ((((triple3) -> rule5)) -> rule6) OR ((((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule7) ((triple4) -> rule1)) -> rule2))] Fiona is quiet.[(((triple9) -> rule3) OR ((((triple5) -> rule6)) -> rule3) OR ((((triple7 triple6) -> rule2)) -> rule3) OR ((((((triple8) -> rule5)) -> rule6)) -> rule3))] Fiona is round.[(((triple6) -> rule4) OR ((((((triple9) -> rule3)) -> rule1)) -> rule4) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule4) OR ((((((((((triple8) -> rule5)) -> rule6)) -> rule3)) -> rule1)) -> rule4))] Gary is white.[(((triple10) -> rule6))] @2: Erin is round.[(((((triple4) -> rule1)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule3)) -> rule1)) -> rule4) OR ((((((((((triple3) -> rule5)) -> rule6)) -> rule3)) -> rule1)) -> rule4))] Gary is quiet.[(((((triple10) -> rule6)) -> rule3))] @3: Erin is green.[(((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule7) OR ((((((triple2) -> rule6)) -> rule3) ((((triple4) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule5)) -> rule6)) -> rule3) ((((triple4) -> rule1)) -> rule4)) -> rule7) OR ((triple4 ((((((((triple2) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple2) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule5)) -> rule6)) -> rule3) ((((((((triple2) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((triple4 ((((((((((triple3) -> rule5)) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple2) -> rule6)) -> rule3) ((((((((((triple3) -> rule5)) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule5)) -> rule6)) -> rule3) ((((((((((triple3) -> rule5)) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7))] Gary is furry.[(((((((triple10) -> rule6)) -> rule3)) -> rule1))] @4: Gary is round.[(((((((((triple10) -> rule6)) -> rule3)) -> rule1)) -> rule4))] @5: Gary is green.[(((((((triple10) -> rule6)) -> rule3) ((((((((triple10) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule7))]