Charlie is blue. Charlie is not nice. Charlie is rough. Charlie is round. Charlie is white. Fiona is blue. Fiona is quiet. Fiona is round. Harry is rough. Harry is round. All rough things are quiet. If something is blue then it is not nice. All quiet things are blue. If something is big then it is blue. If Fiona is rough and Fiona is blue then Fiona is round. If something is quiet and not white then it is rough. Big things are rough. If Charlie is not white then Charlie is not rough.
Fiona is quiet.
@0: Charlie is blue.[(triple1 OR ((((triple3) -> rule1)) -> rule3))] Charlie is not nice.[(triple2 OR ((triple1) -> rule2) OR ((((((triple3) -> rule1)) -> rule3)) -> rule2))] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Fiona is blue.[(triple6 OR ((triple7) -> rule3))] Fiona is quiet.[(triple7)] Fiona is round.[(triple8)] Harry is rough.[(triple9)] Harry is round.[(triple10)] @1: Charlie is quiet.[(((triple3) -> rule1))] Fiona is not nice.[(((triple6) -> rule2) OR ((((triple7) -> rule3)) -> rule2))] Harry is quiet.[(((triple9) -> rule1))] @2: Harry is blue.[(((((triple9) -> rule1)) -> rule3))] @3: Harry is not nice.[(((((((triple9) -> rule1)) -> rule3)) -> rule2))]