Anne is quiet. Anne is white. Bob is big. Bob is cold. Bob is quiet. Bob is round. Bob is smart. Bob is white. Charlie is big. Charlie is cold. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. All cold, round things are smart. If something is white then it is rough. All quiet, round things are cold. All white things are smart. Smart, quiet things are rough. If something is cold then it is quiet. If something is cold and rough then it is smart. White, quiet things are smart.
Anne is not cold.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Bob is big.[(triple3)] Bob is cold.[(triple4 OR ((triple5 triple6) -> rule3))] Bob is quiet.[(triple5 OR ((triple4) -> rule6))] Bob is round.[(triple6)] Bob is smart.[(triple7 OR ((triple8) -> rule4) OR ((triple4 triple6) -> rule1) OR ((triple8 triple5) -> rule8) OR ((triple4 ((triple8) -> rule2)) -> rule7) OR ((triple8 ((triple4) -> rule6)) -> rule8) OR ((((triple5 triple6) -> rule3) triple6) -> rule1) OR ((((triple5 triple6) -> rule3) ((triple8) -> rule2)) -> rule7))] Bob is white.[(triple8)] Charlie is big.[(triple9)] Charlie is cold.[(triple10 OR ((triple11 triple13) -> rule3))] Charlie is quiet.[(triple11 OR ((triple10) -> rule6))] Charlie is rough.[(triple12 OR ((triple15) -> rule2) OR ((triple14 triple11) -> rule5) OR ((triple14 ((triple10) -> rule6)) -> rule5) OR ((((triple15) -> rule4) triple11) -> rule5) OR ((((triple10 triple13) -> rule1) triple11) -> rule5) OR ((((triple15 triple11) -> rule8) triple11) -> rule5) OR ((((triple15) -> rule4) ((triple10) -> rule6)) -> rule5) OR ((((triple10 triple13) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((triple15 triple11) -> rule8) ((triple10) -> rule6)) -> rule5) OR ((((triple15 ((triple10) -> rule6)) -> rule8) triple11) -> rule5) OR ((((((triple11 triple13) -> rule3) triple13) -> rule1) triple11) -> rule5) OR ((((triple15 ((triple10) -> rule6)) -> rule8) ((triple10) -> rule6)) -> rule5) OR ((((((triple11 triple13) -> rule3) triple13) -> rule1) ((triple10) -> rule6)) -> rule5))] Charlie is round.[(triple13)] Charlie is smart.[(triple14 OR ((triple15) -> rule4) OR ((triple10 triple12) -> rule7) OR ((triple10 triple13) -> rule1) OR ((triple15 triple11) -> rule8) OR ((triple10 ((triple15) -> rule2)) -> rule7) OR ((triple15 ((triple10) -> rule6)) -> rule8) OR ((((triple11 triple13) -> rule3) triple12) -> rule7) OR ((((triple11 triple13) -> rule3) triple13) -> rule1) OR ((((triple11 triple13) -> rule3) ((triple15) -> rule2)) -> rule7))] Charlie is white.[(triple15)] @1: Anne is rough.[(((triple2) -> rule2) OR ((((triple2) -> rule4) triple1) -> rule5) OR ((((triple2 triple1) -> rule8) triple1) -> rule5))] Anne is smart.[(((triple2) -> rule4) OR ((triple2 triple1) -> rule8))] Bob is rough.[(((triple8) -> rule2) OR ((triple7 triple5) -> rule5) OR ((triple7 ((triple4) -> rule6)) -> rule5) OR ((((triple8) -> rule4) triple5) -> rule5) OR ((((triple4 triple6) -> rule1) triple5) -> rule5) OR ((((triple8 triple5) -> rule8) triple5) -> rule5) OR ((((triple8) -> rule4) ((triple4) -> rule6)) -> rule5) OR ((((triple4 triple6) -> rule1) ((triple4) -> rule6)) -> rule5) OR ((((triple8 triple5) -> rule8) ((triple4) -> rule6)) -> rule5) OR ((((triple8 ((triple4) -> rule6)) -> rule8) triple5) -> rule5) OR ((((((triple5 triple6) -> rule3) triple6) -> rule1) triple5) -> rule5) OR ((((triple8 ((triple4) -> rule6)) -> rule8) ((triple4) -> rule6)) -> rule5) OR ((((((triple5 triple6) -> rule3) triple6) -> rule1) ((triple4) -> rule6)) -> rule5))]