Anne is big. Anne is blue. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is white. Bob is blue. Bob is red. Bob is rough. Gary is big. Gary is blue. Gary is quiet. Gary is red. Gary is rough. Gary is white. Round, big people are white. If someone is blue then they are round. If someone is round then they are big.
Bob is not big.
@0: Anne is big.[(triple1 OR ((triple6) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Anne is blue.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple2) -> rule2))] Anne is white.[(triple7 OR ((triple6 triple1) -> rule1) OR ((triple6 ((triple6) -> rule3)) -> rule1) OR ((((triple2) -> rule2) triple1) -> rule1) OR ((((triple2) -> rule2) ((triple6) -> rule3)) -> rule1) OR ((triple6 ((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule1))] Bob is blue.[(triple8)] Bob is red.[(triple9)] Bob is rough.[(triple10)] Gary is big.[(triple11 OR ((((triple12) -> rule2)) -> rule3))] Gary is blue.[(triple12)] Gary is quiet.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is white.[(triple16 OR ((((triple12) -> rule2) triple11) -> rule1) OR ((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule3)) -> rule1))] @1: Bob is round.[(((triple8) -> rule2))] Gary is round.[(((triple12) -> rule2))] @2: Bob is big.[(((((triple8) -> rule2)) -> rule3))] @3: Bob is white.[(((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule3)) -> rule1))]