Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. If something is cold then it is quiet. Quiet, smart things are furry. Quiet, furry things are kind. Furry, cold things are smart. If Fiona is furry then Fiona is smart. If something is quiet then it is round. All round things are furry. Cold things are kind.
Fiona is not round.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3 OR ((triple6) -> rule7) OR ((triple5 triple7) -> rule2) OR ((((triple5) -> rule6)) -> rule7) OR ((((triple2) -> rule1) triple7) -> rule2) OR ((((((triple2) -> rule1)) -> rule6)) -> rule7))] Fiona is kind.[(triple4 OR ((triple2) -> rule8) OR ((triple5 triple3) -> rule3) OR ((triple5 ((triple6) -> rule7)) -> rule3) OR ((triple5 ((triple5 triple7) -> rule2)) -> rule3) OR ((((triple2) -> rule1) triple3) -> rule3) OR ((((triple2) -> rule1) ((triple6) -> rule7)) -> rule3) OR ((((triple2) -> rule1) ((triple5 triple7) -> rule2)) -> rule3) OR ((triple5 ((((triple5) -> rule6)) -> rule7)) -> rule3) OR ((triple5 ((((triple2) -> rule1) triple7) -> rule2)) -> rule3) OR ((((triple2) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule3) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple7) -> rule2)) -> rule3) OR ((triple5 ((((((triple2) -> rule1)) -> rule6)) -> rule7)) -> rule3) OR ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule6)) -> rule7)) -> rule3))] Fiona is quiet.[(triple5 OR ((triple2) -> rule1))] Fiona is round.[(triple6 OR ((triple5) -> rule6) OR ((((triple2) -> rule1)) -> rule6))] Fiona is smart.[(triple7 OR ((triple3) -> rule5) OR ((triple3 triple2) -> rule4) OR ((((triple6) -> rule7)) -> rule5) OR ((((triple6) -> rule7) triple2) -> rule4) OR ((((((triple5) -> rule6)) -> rule7)) -> rule5) OR ((((((triple5) -> rule6)) -> rule7) triple2) -> rule4) OR ((((((((triple2) -> rule1)) -> rule6)) -> rule7)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule6)) -> rule7) triple2) -> rule4))]