Anne is furry. Anne is quiet. Anne is round. Anne is smart. Gary is quiet. Gary is red. Gary is rough. Quiet people are round. If Gary is rough and Gary is round then Gary is furry. Rough, round people are red. If Gary is nice and Gary is smart then Gary is furry. If Gary is quiet then Gary is red. If Gary is red and Gary is rough then Gary is round. Round people are rough. Furry people are smart.
Anne is not red.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3 OR ((triple2) -> rule1))] Anne is smart.[(triple4 OR ((triple1) -> rule8))] Gary is quiet.[(triple5)] Gary is red.[(triple6 OR ((triple5) -> rule5) OR ((triple7 ((triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule1)) -> rule7) ((triple5) -> rule1)) -> rule3))] Gary is rough.[(triple7 OR ((((triple5) -> rule1)) -> rule7))] @1: Anne is rough.[(((triple3) -> rule7) OR ((((triple2) -> rule1)) -> rule7))] Gary is round.[(((triple5) -> rule1) OR ((triple6 triple7) -> rule6) OR ((((triple5) -> rule5) triple7) -> rule6))] @2: Anne is red.[(((((triple3) -> rule7) triple3) -> rule3) OR ((((triple3) -> rule7) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule7) triple3) -> rule3) OR ((((((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule3))] Gary is furry.[(((triple7 ((triple5) -> rule1)) -> rule2) OR ((triple7 ((triple6 triple7) -> rule6)) -> rule2) OR ((triple7 ((((triple5) -> rule5) triple7) -> rule6)) -> rule2) OR ((((((triple5) -> rule1)) -> rule7) ((triple5) -> rule1)) -> rule2) OR ((((((triple5) -> rule1)) -> rule7) ((triple6 triple7) -> rule6)) -> rule2) OR ((((((triple5) -> rule1)) -> rule7) ((((triple5) -> rule5) triple7) -> rule6)) -> rule2))] @3: Gary is smart.[(((((triple7 ((triple5) -> rule1)) -> rule2)) -> rule8) OR ((((triple7 ((triple6 triple7) -> rule6)) -> rule2)) -> rule8) OR ((((triple7 ((((triple5) -> rule5) triple7) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((triple5) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((triple6 triple7) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((((triple5) -> rule5) triple7) -> rule6)) -> rule2)) -> rule8))]