Charlie is big. Charlie is blue. Fiona is not blue. Fiona is furry. Fiona is red. Fiona is not round. Gary is not big. Gary is cold. Harry is big. Harry is red. Harry is round. Harry is young. Blue things are young. If Gary is round and Gary is cold then Gary is not furry. Young, cold things are furry. All young things are furry. If something is furry and not young then it is red. All furry things are red.
Harry is not blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Fiona is furry.[(triple4)] Fiona is not blue.[(triple3)] Fiona is not round.[(triple6)] Fiona is red.[(triple5 OR ((triple4) -> rule6))] Gary is cold.[(triple8)] Gary is not big.[(triple7)] Harry is big.[(triple9)] Harry is red.[(triple10 OR ((((triple12) -> rule4)) -> rule6))] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Charlie is young.[(((triple2) -> rule1))] Harry is furry.[(((triple12) -> rule4))] @2: Charlie is furry.[(((((triple2) -> rule1)) -> rule4))] @3: Charlie is red.[(((((((triple2) -> rule1)) -> rule4)) -> rule6))]