Charlie is big. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is white. Blue people are quiet. If someone is nice and blue then they are cold. Round, big people are cold. All big, round people are blue. All cold, quiet people are round. All blue people are cold.
Charlie is white.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple1 triple6) -> rule4) OR ((triple1 ((triple3 triple5) -> rule5)) -> rule4))] Charlie is cold.[(triple3 OR ((triple2) -> rule6) OR ((triple4 triple2) -> rule2) OR ((triple6 triple1) -> rule3) OR ((((triple1 triple6) -> rule4)) -> rule6) OR ((triple4 ((triple1 triple6) -> rule4)) -> rule2))] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((triple2) -> rule1) OR ((((triple1 triple6) -> rule4)) -> rule1))] Charlie is round.[(triple6 OR ((triple3 triple5) -> rule5) OR ((triple3 ((triple2) -> rule1)) -> rule5) OR ((((triple2) -> rule6) triple5) -> rule5) OR ((((triple4 triple2) -> rule2) triple5) -> rule5) OR ((((triple2) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((triple4 triple2) -> rule2) ((triple2) -> rule1)) -> rule5))] Charlie is white.[(triple7)]