Bob is red. Bob is rough. Bob is young. Erin is quiet. Erin is rough. Erin is white. Erin is young. Fiona is quiet. Fiona is rough. Fiona is young. If someone is rough and round then they are white. If Fiona is white and Fiona is round then Fiona is young. All rough people are quiet. Red, white people are round. Red, rough people are young. If someone is kind and white then they are red. All young, kind people are quiet. If someone is kind and round then they are quiet.
Fiona is kind.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3 OR ((triple1 triple2) -> rule5))] Erin is quiet.[(triple4 OR ((triple5) -> rule3))] Erin is rough.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Fiona is quiet.[(triple8 OR ((triple9) -> rule3))] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] @1: Bob is quiet.[(((triple2) -> rule3))]