Bob is quiet. Bob is white. Charlie is quiet. Charlie is rough. Charlie is round. Erin is round. Erin is white. If something is white and nice then it is cold. If Charlie is round and Charlie is rough then Charlie is white. If Erin is quiet then Erin is white. All rough things are white. White, rough things are nice. All cold things are white.
Charlie is nice.
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)] @1: Charlie is white.[(((triple4) -> rule4) OR ((triple5 triple4) -> rule2))] @2: Charlie is nice.[(((((triple4) -> rule4) triple4) -> rule5) OR ((((triple5 triple4) -> rule2) triple4) -> rule5))] @3: Charlie is cold.[(((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule5)) -> rule1) OR ((((triple4) -> rule4) ((((triple5 triple4) -> rule2) triple4) -> rule5)) -> rule1) OR ((((triple5 triple4) -> rule2) ((((triple4) -> rule4) triple4) -> rule5)) -> rule1) OR ((((triple5 triple4) -> rule2) ((((triple5 triple4) -> rule2) triple4) -> rule5)) -> rule1))]