Fiona is big. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Harry is big. Harry is green. Harry is quiet. Harry is red. Harry is smart. If something is young and green then it is round. If Harry is young then Harry is not red. Round, smart things are quiet. If Fiona is big and Fiona is not green then Fiona is young. If something is smart and round then it is not young. If something is big and not smart then it is young. All round things are young. If something is quiet and not smart then it is big.
Harry is not big.
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4)] Fiona is round.[(triple5)] Harry is big.[(triple6)] Harry is green.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is young.[(((triple5) -> rule7))]