Charlie is furry. Charlie is smart. Charlie is not white. Charlie is young. Dave is not furry. Dave is not round. Dave is smart. Dave is not young. Fiona is cold. Fiona is round. Fiona is white. Gary is round. Cold things are young. All round things are cold. If something is young and not white then it is big. If something is white and not young then it is big. If something is cold and not young then it is big. If Fiona is not big then Fiona is not smart.
Fiona is furry.
@0: Charlie is furry.[(triple1)] Charlie is not white.[(triple3)] Charlie is smart.[(triple2)] Charlie is young.[(triple4)] Dave is not furry.[(triple5)] Dave is not round.[(triple6)] Dave is not young.[(triple8)] Dave is smart.[(triple7)] Fiona is cold.[(triple9 OR ((triple10) -> rule2))] Fiona is round.[(triple10)] Fiona is white.[(triple11)] Gary is round.[(triple12)] @1: Charlie is big.[(((triple4 triple3) -> rule3))] Fiona is young.[(((triple9) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Gary is cold.[(((triple12) -> rule2))] @2: Gary is young.[(((((triple12) -> rule2)) -> rule1))]