Anne is big. Anne is quiet. Anne is round. Bob is big. Bob is cold. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is young. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is round. Charlie is young. Young people are quiet. Quiet, cold people are young. If Anne is big then Anne is green. If Anne is green then Anne is young. All quiet, red people are cold. If Charlie is cold then Charlie is red.
Charlie is big.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2 OR ((((((triple1) -> rule3)) -> rule4)) -> rule1))] Anne is round.[(triple3)] Bob is big.[(triple4)] Bob is cold.[(triple5 OR ((triple7 triple8) -> rule5) OR ((((triple10) -> rule1) triple8) -> rule5))] Bob is green.[(triple6)] Bob is quiet.[(triple7 OR ((triple10) -> rule1))] Bob is red.[(triple8)] Bob is round.[(triple9)] Bob is young.[(triple10 OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple7 triple8) -> rule5)) -> rule2))] Charlie is cold.[(triple11 OR ((triple13 triple14) -> rule5) OR ((((triple16) -> rule1) triple14) -> rule5))] Charlie is green.[(triple12)] Charlie is quiet.[(triple13 OR ((triple16) -> rule1))] Charlie is red.[(triple14 OR ((triple11) -> rule6))] Charlie is round.[(triple15)] Charlie is young.[(triple16 OR ((triple13 triple11) -> rule2) OR ((triple13 ((triple13 triple14) -> rule5)) -> rule2))] @1: Anne is green.[(((triple1) -> rule3))] @2: Anne is young.[(((((triple1) -> rule3)) -> rule4))]