Charlie is red. Charlie is rough. Dave is blue. Dave is red. Fiona is blue. Fiona is furry. Fiona is red. Fiona is rough. Gary is round. Gary is smart. Blue, round people are not rough. Blue, rough people are not smart. All smart people are blue. All quiet, round people are not furry. Rough, smart people are quiet. All red people are quiet. If Gary is not rough then Gary is red.
Charlie is not blue.
@0: Charlie is red.[(triple1)] Charlie is rough.[(triple2)] Dave is blue.[(triple3)] Dave is red.[(triple4)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] @1: Charlie is quiet.[(((triple1) -> rule6))] Dave is quiet.[(((triple4) -> rule6))] Fiona is not smart.[(((triple5 triple8) -> rule2))] Fiona is quiet.[(((triple7) -> rule6))] Gary is blue.[(((triple10) -> rule3))] @2: Gary is not rough.[(((((triple10) -> rule3) triple9) -> rule1))] @3: Gary is red.[(((((((triple10) -> rule3) triple9) -> rule1)) -> rule7))] @4: Gary is quiet.[(((((((((triple10) -> rule3) triple9) -> rule1)) -> rule7)) -> rule6))] @5: Gary is not furry.[(((((((((((triple10) -> rule3) triple9) -> rule1)) -> rule7)) -> rule6) triple9) -> rule4))]