Anne is blue. Anne is quiet. Anne is white. Anne is young. Bob is quiet. Bob is rough. Bob is white. Bob is young. Gary is blue. Gary is kind. Gary is quiet. Gary is rough. Gary is round. Gary is white. Gary is young. If something is quiet and rough then it is white. All white things are rough. If something is round then it is white. If something is rough and young then it is round. If something is blue and quiet then it is white. All white things are quiet. If Anne is kind then Anne is rough. If something is round and young then it is kind.
Bob is not kind.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2 OR ((triple3) -> rule6))] Anne is white.[(triple3 OR ((triple1 triple2) -> rule5))] Anne is young.[(triple4)] Bob is quiet.[(triple5 OR ((triple7) -> rule6) OR ((((((triple6 triple8) -> rule4)) -> rule3)) -> rule6))] Bob is rough.[(triple6 OR ((triple7) -> rule2))] Bob is white.[(triple7 OR ((triple5 triple6) -> rule1) OR ((((triple6 triple8) -> rule4)) -> rule3))] Bob is young.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple10 OR ((triple13 triple15) -> rule8) OR ((((triple12 triple15) -> rule4) triple15) -> rule8) OR ((((((triple14) -> rule2) triple15) -> rule4) triple15) -> rule8) OR ((((((((triple9 triple11) -> rule5)) -> rule2) triple15) -> rule4) triple15) -> rule8))] Gary is quiet.[(triple11 OR ((triple14) -> rule6) OR ((((triple13) -> rule3)) -> rule6) OR ((((((triple12 triple15) -> rule4)) -> rule3)) -> rule6))] Gary is rough.[(triple12 OR ((triple14) -> rule2) OR ((((triple13) -> rule3)) -> rule2) OR ((((triple9 triple11) -> rule5)) -> rule2))] Gary is round.[(triple13 OR ((triple12 triple15) -> rule4) OR ((((triple14) -> rule2) triple15) -> rule4) OR ((((((triple9 triple11) -> rule5)) -> rule2) triple15) -> rule4))] Gary is white.[(triple14 OR ((triple13) -> rule3) OR ((triple11 triple12) -> rule1) OR ((triple9 triple11) -> rule5) OR ((((triple12 triple15) -> rule4)) -> rule3))] Gary is young.[(triple15)] @1: Anne is rough.[(((triple3) -> rule2) OR ((((triple1 triple2) -> rule5)) -> rule2))] Bob is round.[(((triple6 triple8) -> rule4) OR ((((triple7) -> rule2) triple8) -> rule4))] @2: Anne is round.[(((((triple3) -> rule2) triple4) -> rule4) OR ((((((triple1 triple2) -> rule5)) -> rule2) triple4) -> rule4))] Bob is kind.[(((((triple6 triple8) -> rule4) triple8) -> rule8) OR ((((((triple7) -> rule2) triple8) -> rule4) triple8) -> rule8))] @3: Anne is kind.[(((((((triple3) -> rule2) triple4) -> rule4) triple4) -> rule8) OR ((((((((triple1 triple2) -> rule5)) -> rule2) triple4) -> rule4) triple4) -> rule8))]