Bob is blue. Charlie is blue. Charlie is nice. Charlie is rough. Charlie is smart. Fiona is kind. Gary is blue. Rough, red things are smart. Blue, red things are rough. If Bob is blue then Bob is quiet. If Fiona is kind then Fiona is quiet. If something is red and nice then it is rough. If something is smart then it is kind. All quiet, red things are blue. If something is blue and red then it is rough.
Fiona is not blue.
@0: Bob is blue.[(triple1)] Charlie is blue.[(triple2)] Charlie is nice.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5)] Fiona is kind.[(triple6)] Gary is blue.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule3))] Charlie is kind.[(((triple5) -> rule6))] Fiona is quiet.[(((triple6) -> rule4))]