Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. Gary is not big. Gary is furry. Gary is not quiet. Gary is not young. All rough things are blue. If something is quiet and furry then it is blue. Rough, smart things are not young. If something is rough then it is big. If something is rough then it is furry. If Gary is big then Gary is quiet.
Fiona is not quiet.
@0: Fiona is big.[(triple1 OR ((triple5) -> rule4))] Fiona is blue.[(triple2 OR ((triple5) -> rule1) OR ((triple4 triple3) -> rule2) OR ((triple4 ((triple5) -> rule5)) -> rule2))] Fiona is furry.[(triple3 OR ((triple5) -> rule5))] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Gary is furry.[(triple8)] Gary is not big.[(triple7)] Gary is not quiet.[(triple9)] Gary is not young.[(triple10)] @1: Fiona is not young.[(((triple5 triple6) -> rule3))]