Dave is green. Dave is kind. Dave is quiet. Erin is green. Erin is quiet. Erin is rough. Erin is smart. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Harry is smart. If Erin is young and Erin is quiet then Erin is red. All rough people are quiet. Smart, red people are young. If someone is green and young then they are rough. Smart people are rough. If Dave is red then Dave is kind.
Erin is quiet.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Erin is green.[(triple4)] Erin is quiet.[(triple5 OR ((triple6) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] Erin is rough.[(triple6 OR ((triple7) -> rule5))] Erin is smart.[(triple7)] Fiona is quiet.[(triple8 OR ((triple10) -> rule2) OR ((((triple11) -> rule5)) -> rule2))] Fiona is red.[(triple9)] Fiona is rough.[(triple10 OR ((triple11) -> rule5))] Fiona is smart.[(triple11)] Harry is smart.[(triple12)] @1: Fiona is young.[(((triple11 triple9) -> rule3))] Harry is rough.[(((triple12) -> rule5))] @2: Harry is quiet.[(((((triple12) -> rule5)) -> rule2))]