Charlie is big. Charlie is cold. Charlie is furry. Charlie is not kind. Charlie is nice. Charlie is red. Charlie is smart. Erin is big. Erin is cold. Erin is not furry. Erin is kind. Erin is nice. Erin is red. Erin is smart. If Erin is not big then Erin is not furry. If Charlie is cold and Charlie is furry then Charlie is red. If Charlie is kind then Charlie is not big. If something is furry and red then it is not kind. If something is red and not furry then it is kind. If something is nice and not cold then it is not kind.
Charlie is nice.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple5)] Charlie is not kind.[(triple4 OR ((triple3 triple6) -> rule4) OR ((triple3 ((triple2 triple3) -> rule2)) -> rule4))] Charlie is red.[(triple6 OR ((triple2 triple3) -> rule2))] Charlie is smart.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9)] Erin is kind.[(triple11 OR ((triple13 triple10) -> rule5))] Erin is nice.[(triple12)] Erin is not furry.[(triple10)] Erin is red.[(triple13)] Erin is smart.[(triple14)]