Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. Harry is cold. Harry is smart. Harry is white. Harry is young. Cold things are red. If something is cold and white then it is round. All smart things are cold. Cold, young things are quiet. All quiet, smart things are young. If Harry is smart then Harry is round. Red things are cold. All round things are white.
Fiona is not smart.
@0: Charlie is quiet.[(triple1 OR ((((triple2) -> rule7) triple4) -> rule4) OR ((((triple3) -> rule3) triple4) -> rule4))] Charlie is red.[(triple2 OR ((((triple3) -> rule3)) -> rule1))] Charlie is smart.[(triple3)] Charlie is young.[(triple4 OR ((triple1 triple3) -> rule5))] Fiona is cold.[(triple5 OR ((triple7) -> rule7) OR ((triple9) -> rule3))] Fiona is quiet.[(triple6 OR ((triple5 triple11) -> rule4) OR ((((triple7) -> rule7) triple11) -> rule4) OR ((((triple9) -> rule3) triple11) -> rule4))] Fiona is red.[(triple7 OR ((triple5) -> rule1) OR ((((triple9) -> rule3)) -> rule1))] Fiona is round.[(triple8 OR ((triple5 triple10) -> rule2) OR ((((triple7) -> rule7) triple10) -> rule2) OR ((((triple9) -> rule3) triple10) -> rule2))] Fiona is smart.[(triple9)] Fiona is white.[(triple10 OR ((triple8) -> rule8))] Fiona is young.[(triple11 OR ((triple6 triple9) -> rule5))] Harry is cold.[(triple12 OR ((triple13) -> rule3))] Harry is smart.[(triple13)] Harry is white.[(triple14 OR ((((triple13) -> rule6)) -> rule8))] Harry is young.[(triple15)] @1: Charlie is cold.[(((triple2) -> rule7) OR ((triple3) -> rule3))] Harry is quiet.[(((triple12 triple15) -> rule4) OR ((((triple13) -> rule3) triple15) -> rule4))] Harry is red.[(((triple12) -> rule1) OR ((((triple13) -> rule3)) -> rule1))] Harry is round.[(((triple13) -> rule6) OR ((triple12 triple14) -> rule2) OR ((((triple13) -> rule3) triple14) -> rule2))]