Dave is big. Dave is red. Dave is rough. Dave is young. Erin is cold. Erin is red. Erin is young. Fiona is cold. Fiona is quiet. Fiona is red. Young people are rough. If someone is rough and quiet then they are big. Quiet people are young.
Fiona is rough.
@0: Dave is big.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3 OR ((triple4) -> rule1))] Dave is young.[(triple4)] Erin is cold.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] @1: Erin is rough.[(((triple7) -> rule1))] Fiona is young.[(((triple9) -> rule3))] @2: Fiona is rough.[(((((triple9) -> rule3)) -> rule1))] @3: Fiona is big.[(((((((triple9) -> rule3)) -> rule1) triple9) -> rule2))]