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