Bob is blue. Bob is red. Bob is rough. Bob is smart. Charlie is blue. Charlie is red. Charlie is smart. Charlie is young. Erin is green. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Erin is young. Fiona is green. Fiona is rough. Green people are young. If someone is red then they are quiet. If someone is young then they are red.
Fiona is not quiet.
@0: Bob is blue.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Charlie is blue.[(triple5)] Charlie is red.[(triple6 OR ((triple8) -> rule3))] Charlie is smart.[(triple7)] Charlie is young.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10 OR ((triple11) -> rule2) OR ((((triple14) -> rule3)) -> rule2) OR ((((((triple9) -> rule1)) -> rule3)) -> rule2))] Erin is red.[(triple11 OR ((triple14) -> rule3) OR ((((triple9) -> rule1)) -> rule3))] Erin is rough.[(triple12)] Erin is smart.[(triple13)] Erin is young.[(triple14 OR ((triple9) -> rule1))] Fiona is green.[(triple15)] Fiona is rough.[(triple16)] @1: Bob is quiet.[(((triple2) -> rule2))] Charlie is quiet.[(((triple6) -> rule2) OR ((((triple8) -> rule3)) -> rule2))] Fiona is young.[(((triple15) -> rule1))] @2: Fiona is red.[(((((triple15) -> rule1)) -> rule3))] @3: Fiona is quiet.[(((((((triple15) -> rule1)) -> rule3)) -> rule2))]