Fiona is big. Fiona is furry. Fiona is young. Gary is big. Gary is furry. Gary is round. Gary is young. If Fiona is kind then Fiona is blue. If Fiona is big and Fiona is round then Fiona is furry. If something is kind and big then it is blue. If something is big and furry then it is round. All big things are blue. If something is big then it is blue. All round, big things are young. All blue things are big.
Gary is quiet.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is young.[(triple3 OR ((((triple1 triple2) -> rule4) triple1) -> rule7))] Gary is big.[(triple4)] Gary is furry.[(triple5)] Gary is round.[(triple6 OR ((triple4 triple5) -> rule4))] Gary is young.[(triple7 OR ((triple6 triple4) -> rule7) OR ((((triple4 triple5) -> rule4) triple4) -> rule7))] @1: Fiona is blue.[(((triple1) -> rule5) OR ((triple1) -> rule6))] Fiona is round.[(((triple1 triple2) -> rule4))] Gary is blue.[(((triple4) -> rule5) OR ((triple4) -> rule6))]