Fiona is blue. Fiona is quiet. Fiona is red. Fiona is round. Fiona is young. Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is red. Gary is young. Harry is big. Harry is blue. Harry is red. Harry is young. If something is red then it is round. If something is round then it is nice.
Fiona is big.
@0: Fiona is blue.[(triple1)] Fiona is quiet.[(triple2)] Fiona is red.[(triple3)] Fiona is round.[(triple4 OR ((triple3) -> rule1))] Fiona is young.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is nice.[(triple8 OR ((((triple10) -> rule1)) -> rule2))] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is young.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)] @1: Fiona is nice.[(((triple4) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Gary is round.[(((triple10) -> rule1))] Harry is round.[(((triple14) -> rule1))] @2: Harry is nice.[(((((triple14) -> rule1)) -> rule2))]