Charlie is quiet. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Erin is blue. Erin is quiet. Erin is rough. Fiona is big. Fiona is blue. Fiona is quiet. Fiona is red. If someone is green then they are blue. If Erin is nice then Erin is not rough. All quiet people are rough. If someone is blue and big then they are green. If someone is green and red then they are big. If Charlie is rough then Charlie is green.
Fiona is not green.
@0: Charlie is quiet.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule3))] Erin is blue.[(triple6)] Erin is quiet.[(triple7)] Erin is rough.[(triple8 OR ((triple7) -> rule3))] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] @1: Charlie is rough.[(((triple1) -> rule3))] Fiona is green.[(((triple10 triple9) -> rule4))] Fiona is rough.[(((triple11) -> rule3))] @2: Charlie is green.[(((((triple1) -> rule3)) -> rule6))] @3: Charlie is blue.[(((((((triple1) -> rule3)) -> rule6)) -> rule1))]