Charlie is not blue. Charlie is not kind. Charlie is rough. Charlie is young. Erin is not cold. Erin is red. Fiona is rough. Fiona is young. Harry is not cold. Harry is quiet. Harry is red. Harry is rough. If someone is young then they are quiet. If Charlie is young then Charlie is cold. Red people are young. Rough, kind people are not red. If Fiona is cold then Fiona is not young. If someone is quiet then they are not blue. If Charlie is cold then Charlie is red. If Harry is not blue then Harry is not cold.
Fiona is kind.
@0: Charlie is not blue.[(triple1 OR ((((triple4) -> rule1)) -> rule6))] Charlie is not kind.[(triple2)] Charlie is rough.[(triple3)] Charlie is young.[(triple4)] Erin is not cold.[(triple5)] Erin is red.[(triple6)] Fiona is rough.[(triple7)] Fiona is young.[(triple8)] Harry is not cold.[(triple9 OR ((((triple10) -> rule6)) -> rule8) OR ((((((((triple11) -> rule3)) -> rule1)) -> rule6)) -> rule8))] Harry is quiet.[(triple10 OR ((((triple11) -> rule3)) -> rule1))] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Charlie is cold.[(((triple4) -> rule2))] Charlie is quiet.[(((triple4) -> rule1))] Erin is young.[(((triple6) -> rule3))] Fiona is quiet.[(((triple8) -> rule1))] Harry is not blue.[(((triple10) -> rule6) OR ((((((triple11) -> rule3)) -> rule1)) -> rule6))] Harry is young.[(((triple11) -> rule3))] @2: Charlie is red.[(((((triple4) -> rule2)) -> rule7))] Erin is quiet.[(((((triple6) -> rule3)) -> rule1))] Fiona is not blue.[(((((triple8) -> rule1)) -> rule6))] @3: Erin is not blue.[(((((((triple6) -> rule3)) -> rule1)) -> rule6))]