Charlie is big. Charlie is furry. Charlie is nice. Charlie is quiet. Dave is big. Dave is rough. Fiona is nice. Fiona is quiet. Gary is quiet. Gary is red. Gary is rough. Gary is round. If Fiona is big then Fiona is round. All quiet, round things are nice. If something is nice then it is rough.
Dave is big.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Dave is big.[(triple5)] Dave is rough.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11 OR ((((triple9 triple12) -> rule2)) -> rule3))] Gary is round.[(triple12)] @1: Charlie is rough.[(((triple3) -> rule3))] Fiona is rough.[(((triple7) -> rule3))] Gary is nice.[(((triple9 triple12) -> rule2))]