Anne is big. Anne is round. Charlie is kind. Charlie is nice. Erin is big. Erin is kind. Erin is smart. All smart, blue people are round. All furry people are smart. All nice people are round. Furry people are smart. If someone is smart then they are nice. All furry people are kind. Nice people are kind. Round, big people are smart.
Charlie is blue.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Charlie is kind.[(triple3 OR ((triple4) -> rule7))] Charlie is nice.[(triple4)] Erin is big.[(triple5)] Erin is kind.[(triple6 OR ((((triple7) -> rule5)) -> rule7))] Erin is smart.[(triple7)] @1: Anne is smart.[(((triple2 triple1) -> rule8))] Charlie is round.[(((triple4) -> rule3))] Erin is nice.[(((triple7) -> rule5))] @2: Anne is nice.[(((((triple2 triple1) -> rule8)) -> rule5))] Erin is round.[(((((triple7) -> rule5)) -> rule3))] @3: Anne is kind.[(((((((triple2 triple1) -> rule8)) -> rule5)) -> rule7))]