Charlie is young. Fiona is blue. Gary is blue. Gary is white. Harry is blue. Harry is round. Harry is smart. If Charlie is round and Charlie is quiet then Charlie is not young. If something is quiet then it is smart. All blue things are young. Big, blue things are quiet. Young, white things are round. If Fiona is big and Fiona is not white then Fiona is blue. If Charlie is big and Charlie is young then Charlie is not smart. Round things are big.
Harry is big.
@0: Charlie is young.[(triple1)] Fiona is blue.[(triple2)] Gary is blue.[(triple3)] Gary is white.[(triple4)] Harry is blue.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7 OR ((((((triple6) -> rule8) triple5) -> rule4)) -> rule2))] @1: Fiona is young.[(((triple2) -> rule3))] Gary is young.[(((triple3) -> rule3))] Harry is big.[(((triple6) -> rule8))] Harry is young.[(((triple5) -> rule3))] @2: Gary is round.[(((((triple3) -> rule3) triple4) -> rule5))] Harry is quiet.[(((((triple6) -> rule8) triple5) -> rule4))] @3: Gary is big.[(((((((triple3) -> rule3) triple4) -> rule5)) -> rule8))] @4: Gary is quiet.[(((((((((triple3) -> rule3) triple4) -> rule5)) -> rule8) triple3) -> rule4))] @5: Gary is smart.[(((((((((((triple3) -> rule3) triple4) -> rule5)) -> rule8) triple3) -> rule4)) -> rule2))]