Charlie is kind. Dave is quiet. Erin is rough. Fiona is nice. If something is nice and not white then it is round. All rough things are round. All quiet things are round. If something is round and rough then it is nice. If something is rough then it is nice. All quiet, kind things are rough. If Dave is round then Dave is not blue. If something is kind then it is quiet.
Charlie is rough.
@0: Charlie is kind.[(triple1)] Dave is quiet.[(triple2)] Erin is rough.[(triple3)] Fiona is nice.[(triple4)] @1: Charlie is quiet.[(((triple1) -> rule8))] Dave is round.[(((triple2) -> rule3))] Erin is nice.[(((triple3) -> rule5) OR ((((triple3) -> rule2) triple3) -> rule4))] Erin is round.[(((triple3) -> rule2))] @2: Charlie is rough.[(((((triple1) -> rule8) triple1) -> rule6))] Charlie is round.[(((((triple1) -> rule8)) -> rule3) OR ((((((triple1) -> rule8) triple1) -> rule6)) -> rule2))] Dave is not blue.[(((((triple2) -> rule3)) -> rule7))] @3: Charlie is nice.[(((((((triple1) -> rule8) triple1) -> rule6)) -> rule5) OR ((((((triple1) -> rule8)) -> rule3) ((((triple1) -> rule8) triple1) -> rule6)) -> rule4) OR ((((((((triple1) -> rule8) triple1) -> rule6)) -> rule2) ((((triple1) -> rule8) triple1) -> rule6)) -> rule4))]