Erin is blue. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Cold, furry people are rough. Blue people are cold. Blue, rough people are furry. All round people are rough. If someone is cold and rough then they are quiet. If someone is blue then they are cold. Kind, quiet people are cold. All round people are quiet.
Fiona is not kind.
@0: Erin is blue.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3 OR ((triple5) -> rule8) OR ((((triple1) -> rule2) triple4) -> rule5) OR ((((triple1) -> rule6) triple4) -> rule5) OR ((((triple1) -> rule2) ((triple5) -> rule4)) -> rule5) OR ((((triple1) -> rule6) ((triple5) -> rule4)) -> rule5))] Erin is rough.[(triple4 OR ((triple5) -> rule4))] Erin is round.[(triple5)] Fiona is cold.[(triple6 OR ((triple7 triple8) -> rule7) OR ((triple7 ((triple10) -> rule8)) -> rule7))] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8 OR ((triple10) -> rule8) OR ((triple6 triple9) -> rule5) OR ((triple6 ((triple10) -> rule4)) -> rule5))] Fiona is rough.[(triple9 OR ((triple10) -> rule4))] Fiona is round.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12 OR ((triple11 triple15) -> rule3))] Harry is kind.[(triple13)] Harry is quiet.[(triple14 OR ((((triple11) -> rule2) triple15) -> rule5) OR ((((triple11) -> rule6) triple15) -> rule5) OR ((((triple11) -> rule2) ((((triple11) -> rule2) triple12) -> rule1)) -> rule5) OR ((((triple11) -> rule2) ((((triple11) -> rule6) triple12) -> rule1)) -> rule5) OR ((((triple11) -> rule6) ((((triple11) -> rule2) triple12) -> rule1)) -> rule5) OR ((((triple11) -> rule6) ((((triple11) -> rule6) triple12) -> rule1)) -> rule5))] Harry is rough.[(triple15 OR ((((triple11) -> rule2) triple12) -> rule1) OR ((((triple11) -> rule6) triple12) -> rule1) OR ((((triple13 triple14) -> rule7) triple12) -> rule1))] @1: Erin is cold.[(((triple1) -> rule2) OR ((triple1) -> rule6) OR ((triple2 triple3) -> rule7) OR ((triple2 ((triple5) -> rule8)) -> rule7))] Erin is furry.[(((triple1 triple4) -> rule3) OR ((triple1 ((triple5) -> rule4)) -> rule3))] Harry is cold.[(((triple11) -> rule2) OR ((triple11) -> rule6) OR ((triple13 triple14) -> rule7))]