Anne is cold. Anne is round. Anne is smart. Anne is white. Charlie is cold. Charlie is white. Charlie is young. Young people are smart. All white people are young. All young, round people are cold. If Anne is big then Anne is round. Round, green people are big. If Charlie is round then Charlie is green. All white people are green. If someone is big and green then they are cold.
Charlie is round.
@0: Anne is cold.[(triple1 OR ((((triple4) -> rule2) triple2) -> rule3) OR ((((triple2 ((triple4) -> rule7)) -> rule5) ((triple4) -> rule7)) -> rule8))] Anne is round.[(triple2)] Anne is smart.[(triple3 OR ((((triple4) -> rule2)) -> rule1))] Anne is white.[(triple4)] Charlie is cold.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple6) -> rule2))] @1: Anne is green.[(((triple4) -> rule7))] Anne is young.[(((triple4) -> rule2))] Charlie is green.[(((triple6) -> rule7))] Charlie is smart.[(((triple7) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] @2: Anne is big.[(((triple2 ((triple4) -> rule7)) -> rule5))]