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