Anne is big. Anne is blue. Anne is kind. Anne is quiet. Anne is round. Anne is young. Erin is big. Erin is blue. Erin is kind. Erin is round. Erin is not young. Fiona is blue. Harry is not big. Harry is red. Harry is young. All quiet, round things are red. If Fiona is quiet and Fiona is young then Fiona is big. If something is round and red then it is young.
Harry is quiet.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6 OR ((triple5 ((triple4 triple5) -> rule1)) -> rule3))] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is kind.[(triple9)] Erin is not young.[(triple11)] Erin is round.[(triple10)] Fiona is blue.[(triple12)] Harry is not big.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)] @1: Anne is red.[(((triple4 triple5) -> rule1))]