Charlie is blue. Charlie is young. Dave is blue. Dave is cold. Erin is blue. Erin is round. Gary is young. All cold, young things are round. All rough, blue things are round. All young, round things are rough. Rough things are kind. If something is blue then it is cold. All young, rough things are round.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is young.[(triple2)] Dave is blue.[(triple3)] Dave is cold.[(triple4 OR ((triple3) -> rule5))] Erin is blue.[(triple5)] Erin is round.[(triple6)] Gary is young.[(triple7)] @1: Charlie is cold.[(((triple1) -> rule5))] Erin is cold.[(((triple5) -> rule5))] @2: Charlie is round.[(((((triple1) -> rule5) triple2) -> rule1))] @3: Charlie is rough.[(((triple2 ((((triple1) -> rule5) triple2) -> rule1)) -> rule3))] @4: Charlie is kind.[(((((triple2 ((((triple1) -> rule5) triple2) -> rule1)) -> rule3)) -> rule4))]