Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. All kind things are quiet. If something is cold then it is round. Round things are furry. If Fiona is furry and Fiona is rough then Fiona is round. If something is cold then it is rough. All quiet, kind things are green. All cold things are quiet. If something is quiet and cold then it is green.
Fiona is not quiet.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple7) -> rule3) OR ((((triple1) -> rule2)) -> rule3))] Erin is green.[(triple3 OR ((triple5 triple1) -> rule8) OR ((triple5 triple4) -> rule6) OR ((((triple1) -> rule7) triple1) -> rule8) OR ((((triple1) -> rule7) triple4) -> rule6) OR ((((triple4) -> rule1) triple1) -> rule8) OR ((((triple4) -> rule1) triple4) -> rule6))] Erin is kind.[(triple4)] Erin is quiet.[(triple5 OR ((triple1) -> rule7) OR ((triple4) -> rule1))] Erin is rough.[(triple6 OR ((triple1) -> rule5))] Erin is round.[(triple7 OR ((triple1) -> rule2))] Fiona is cold.[(triple8)] Fiona is furry.[(triple9 OR ((triple14) -> rule3) OR ((((triple8) -> rule2)) -> rule3))] Fiona is green.[(triple10 OR ((triple12 triple11) -> rule6) OR ((triple12 triple8) -> rule8) OR ((((triple11) -> rule1) triple11) -> rule6) OR ((((triple11) -> rule1) triple8) -> rule8) OR ((((triple8) -> rule7) triple11) -> rule6) OR ((((triple8) -> rule7) triple8) -> rule8))] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12 OR ((triple11) -> rule1) OR ((triple8) -> rule7))] Fiona is rough.[(triple13 OR ((triple8) -> rule5))] Fiona is round.[(triple14 OR ((triple8) -> rule2) OR ((triple9 triple13) -> rule4) OR ((triple9 ((triple8) -> rule5)) -> rule4))]