Anne is big. Anne is blue. Anne is nice. Anne is quiet. Anne is red. Anne is round. Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Erin is big. Erin is quiet. Erin is round. Gary is big. Gary is round. If something is round then it is blue. If something is blue then it is nice. If something is nice and round then it is furry.
Bob is not red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple6) -> rule1))] Anne is nice.[(triple3 OR ((triple2) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Bob is big.[(triple7)] Bob is blue.[(triple8)] Bob is furry.[(triple9)] Bob is nice.[(triple10 OR ((triple8) -> rule2))] Bob is quiet.[(triple11)] Erin is big.[(triple12)] Erin is quiet.[(triple13)] Erin is round.[(triple14)] Gary is big.[(triple15)] Gary is round.[(triple16)] @1: Anne is furry.[(((triple3 triple6) -> rule3) OR ((((triple2) -> rule2) triple6) -> rule3) OR ((((((triple6) -> rule1)) -> rule2) triple6) -> rule3))] Erin is blue.[(((triple14) -> rule1))] Gary is blue.[(((triple16) -> rule1))] @2: Erin is nice.[(((((triple14) -> rule1)) -> rule2))] Gary is nice.[(((((triple16) -> rule1)) -> rule2))] @3: Erin is furry.[(((((((triple14) -> rule1)) -> rule2) triple14) -> rule3))] Gary is furry.[(((((((triple16) -> rule1)) -> rule2) triple16) -> rule3))]