Bob is nice. Dave is rough. Fiona is big. Fiona is kind. Fiona is red. Fiona is rough. Gary is rough. If Bob is big and Bob is not young then Bob is not nice. If Bob is rough and Bob is kind then Bob is not nice. If Bob is not big and Bob is not young then Bob is red. Quiet things are nice. All rough things are red. All young things are quiet.
Bob is big.
@0: Bob is nice.[(triple1)] Dave is rough.[(triple2)] Fiona is big.[(triple3)] Fiona is kind.[(triple4)] Fiona is red.[(triple5 OR ((triple6) -> rule5))] Fiona is rough.[(triple6)] Gary is rough.[(triple7)] @1: Dave is red.[(((triple2) -> rule5))] Gary is red.[(((triple7) -> rule5))]