Anne is big. Anne is blue. Anne is kind. Anne is round. Anne is smart. Bob is big. Bob is cold. Bob is not kind. Bob is rough. Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is rough. Erin is round. Erin is smart. If Anne is rough then Anne is not round. All smart things are cold. Rough things are cold. Smart, blue things are round. If something is rough then it is round. If Anne is cold and Anne is not kind then Anne is rough.
Bob is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is round.[(triple4 OR ((triple5 triple2) -> rule4))] Anne is smart.[(triple5)] Bob is big.[(triple6)] Bob is cold.[(triple7 OR ((triple9) -> rule3))] Bob is not kind.[(triple8)] Bob is rough.[(triple9)] Erin is big.[(triple10)] Erin is blue.[(triple11)] Erin is cold.[(triple12 OR ((triple14) -> rule3) OR ((triple16) -> rule2))] Erin is kind.[(triple13)] Erin is rough.[(triple14)] Erin is round.[(triple15 OR ((triple14) -> rule5) OR ((triple16 triple11) -> rule4))] Erin is smart.[(triple16)] @1: Anne is cold.[(((triple5) -> rule2))] Bob is round.[(((triple9) -> rule5))]