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