Dave is red. Dave is round. Erin is quiet. Erin is rough. Erin is round. Erin is young. Fiona is red. Fiona is rough. Fiona is round. Gary is blue. Gary is red. Gary is smart. If someone is red and round then they are rough. All smart people are round. If Erin is young then Erin is rough. Young, red people are quiet. All blue, smart people are rough. Round people are young.
Fiona is young.
@0: Dave is red.[(triple1)] Dave is round.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4 OR ((triple6) -> rule3) OR ((((triple5) -> rule6)) -> rule3))] Erin is round.[(triple5)] Erin is young.[(triple6 OR ((triple5) -> rule6))] Fiona is red.[(triple7)] Fiona is rough.[(triple8 OR ((triple7 triple9) -> rule1))] Fiona is round.[(triple9)] Gary is blue.[(triple10)] Gary is red.[(triple11)] Gary is smart.[(triple12)] @1: Dave is rough.[(((triple1 triple2) -> rule1))] Dave is young.[(((triple2) -> rule6))] Fiona is young.[(((triple9) -> rule6))] Gary is rough.[(((triple10 triple12) -> rule5) OR ((triple11 ((triple12) -> rule2)) -> rule1))] Gary is round.[(((triple12) -> rule2))] @2: Dave is quiet.[(((((triple2) -> rule6) triple1) -> rule4))] Fiona is quiet.[(((((triple9) -> rule6) triple7) -> rule4))] Gary is young.[(((((triple12) -> rule2)) -> rule6))] @3: Gary is quiet.[(((((((triple12) -> rule2)) -> rule6) triple11) -> rule4))]