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