Anne is big. Anne is not red. Anne is smart. Anne is young. Bob is young. Charlie is cold. Charlie is nice. Charlie is red. Erin is big. Erin is cold. Erin is kind. Erin is red. All cold, young things are smart. Kind things are smart. All cold things are smart. All nice, cold things are not young. If something is kind then it is red. All young, nice things are cold. All nice things are not kind. If Erin is not cold then Erin is smart.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is not red.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Bob is young.[(triple5)] Charlie is cold.[(triple6)] Charlie is nice.[(triple7)] Charlie is red.[(triple8)] Erin is big.[(triple9)] Erin is cold.[(triple10)] Erin is kind.[(triple11)] Erin is red.[(triple12 OR ((triple11) -> rule5))] @1: Charlie is not kind.[(((triple7) -> rule7))] Charlie is not young.[(((triple7 triple6) -> rule4))] Charlie is smart.[(((triple6) -> rule3))] Erin is smart.[(((triple10) -> rule3) OR ((triple11) -> rule2))]