Charlie is not blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is round. Charlie is smart. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is round. Fiona is not smart. If Fiona is blue then Fiona is cold. If something is cold then it is quiet. If something is furry and not smart then it is green. If something is furry and round then it is green. Cold things are round. If Fiona is blue then Fiona is furry.
Fiona is blue.
@0: Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4 OR ((triple3 triple6) -> rule4) OR ((triple3 ((triple2) -> rule5)) -> rule4))] Charlie is not blue.[(triple1)] Charlie is quiet.[(triple5 OR ((triple2) -> rule2))] Charlie is round.[(triple6 OR ((triple2) -> rule5))] Charlie is smart.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9 OR ((triple8) -> rule1))] Fiona is furry.[(triple10 OR ((triple8) -> rule6))] Fiona is green.[(triple11 OR ((triple10 triple13) -> rule4) OR ((triple10 triple14) -> rule3) OR ((triple10 ((triple9) -> rule5)) -> rule4) OR ((((triple8) -> rule6) triple13) -> rule4) OR ((((triple8) -> rule6) triple14) -> rule3) OR ((((triple8) -> rule6) ((triple9) -> rule5)) -> rule4) OR ((triple10 ((((triple8) -> rule1)) -> rule5)) -> rule4) OR ((((triple8) -> rule6) ((((triple8) -> rule1)) -> rule5)) -> rule4))] Fiona is not smart.[(triple14)] Fiona is quiet.[(triple12 OR ((triple9) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] Fiona is round.[(triple13 OR ((triple9) -> rule5) OR ((((triple8) -> rule1)) -> rule5))]