Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Erin is nice. Fiona is cold. Fiona is nice. Fiona is round. Harry is big. If Harry is big then Harry is furry. Cold, nice things are furry. If something is round then it is not big. All furry, round things are not big. Blue, big things are not round. If Erin is furry and Erin is not nice then Erin is not cold.
Harry is cold.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is red.[(triple5)] Erin is nice.[(triple6)] Fiona is cold.[(triple7)] Fiona is nice.[(triple8)] Fiona is round.[(triple9)] Harry is big.[(triple10)] @1: Charlie is not round.[(((triple2 triple1) -> rule5))] Fiona is furry.[(((triple7 triple8) -> rule2))] Fiona is not big.[(((triple9) -> rule3) OR ((((triple7 triple8) -> rule2) triple9) -> rule4))] Harry is furry.[(((triple10) -> rule1))]