Charlie is cold. Charlie is red. Charlie is rough. If Charlie is not red then Charlie is round. Cold people are big. If someone is rough and cold then they are blue. Big people are rough. All nice, rough people are round. All rough, nice people are round. If someone is blue and not big then they are not nice. Big people are nice.
Charlie is blue.
@0: Charlie is cold.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3 OR ((((triple1) -> rule2)) -> rule4))] @1: Charlie is big.[(((triple1) -> rule2))] Charlie is blue.[(((triple3 triple1) -> rule3) OR ((((((triple1) -> rule2)) -> rule4) triple1) -> rule3))] @2: Charlie is nice.[(((((triple1) -> rule2)) -> rule8))] @3: Charlie is round.[(((triple3 ((((triple1) -> rule2)) -> rule8)) -> rule6) OR ((((((triple1) -> rule2)) -> rule8) triple3) -> rule5) OR ((((((triple1) -> rule2)) -> rule4) ((((triple1) -> rule2)) -> rule8)) -> rule6) OR ((((((triple1) -> rule2)) -> rule8) ((((triple1) -> rule2)) -> rule4)) -> rule5))]