Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is round. Charlie is white. If Charlie is furry then Charlie is white. If Charlie is nice and Charlie is big then Charlie is white. Nice things are cold. All cold, round things are kind. Cold, white things are big. If Charlie is white and Charlie is cold then Charlie is kind.
Charlie is furry.
@0: Charlie is big.[(triple1 OR ((triple2 triple7) -> rule5) OR ((triple2 ((triple3) -> rule1)) -> rule5) OR ((((triple5) -> rule3) triple7) -> rule5) OR ((((triple5) -> rule3) ((triple3) -> rule1)) -> rule5))] Charlie is cold.[(triple2 OR ((triple5) -> rule3))] Charlie is furry.[(triple3)] Charlie is kind.[(triple4 OR ((triple2 triple6) -> rule4) OR ((triple7 triple2) -> rule6) OR ((triple7 ((triple5) -> rule3)) -> rule6) OR ((((triple3) -> rule1) triple2) -> rule6) OR ((((triple5) -> rule3) triple6) -> rule4) OR ((((triple5 triple1) -> rule2) triple2) -> rule6) OR ((((triple3) -> rule1) ((triple5) -> rule3)) -> rule6) OR ((((triple5 triple1) -> rule2) ((triple5) -> rule3)) -> rule6))] Charlie is nice.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7 OR ((triple3) -> rule1) OR ((triple5 triple1) -> rule2))]