Anne is cold. Anne is green. Anne is quiet. Anne is rough. Anne is round. Anne is white. Gary is furry. Gary is quiet. Gary is round. Gary is white. Cold things are round. All furry, cold things are quiet. If something is furry and rough then it is green. If something is cold and green then it is furry. Round things are furry. If Anne is quiet and Anne is cold then Anne is rough. All quiet, round things are cold. Cold things are rough.
Anne is quiet.
@0: Anne is cold.[(triple1 OR ((triple3 triple5) -> rule7))] Anne is green.[(triple2 OR ((((triple5) -> rule5) triple4) -> rule3) OR ((((triple5) -> rule5) ((triple1) -> rule8)) -> rule3) OR ((((triple5) -> rule5) ((triple3 triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) triple4) -> rule3) OR ((((triple5) -> rule5) ((((triple3 triple5) -> rule7)) -> rule8)) -> rule3) OR ((((triple5) -> rule5) ((triple3 ((triple3 triple5) -> rule7)) -> rule6)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule8)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) ((triple3 triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) ((((triple3 triple5) -> rule7)) -> rule8)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) ((triple3 ((triple3 triple5) -> rule7)) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((((((triple5) -> rule5) triple1) -> rule2) triple1) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((((((triple5) -> rule5) triple1) -> rule2) ((triple3 triple5) -> rule7)) -> rule6)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) ((((((triple5) -> rule5) triple1) -> rule2) triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) ((((((triple5) -> rule5) triple1) -> rule2) ((triple3 triple5) -> rule7)) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((((((((triple1) -> rule1)) -> rule5) triple1) -> rule2) triple1) -> rule6)) -> rule3) OR ((((triple5) -> rule5) ((((((((triple1) -> rule1)) -> rule5) triple1) -> rule2) ((triple3 triple5) -> rule7)) -> rule6)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) ((((((((triple1) -> rule1)) -> rule5) triple1) -> rule2) triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) ((((((((triple1) -> rule1)) -> rule5) triple1) -> rule2) ((triple3 triple5) -> rule7)) -> rule6)) -> rule3))] Anne is quiet.[(triple3 OR ((((triple5) -> rule5) triple1) -> rule2) OR ((((triple1 triple2) -> rule4) triple1) -> rule2) OR ((((((triple1) -> rule1)) -> rule5) triple1) -> rule2))] Anne is rough.[(triple4 OR ((triple1) -> rule8) OR ((triple3 triple1) -> rule6) OR ((((triple3 triple5) -> rule7)) -> rule8) OR ((triple3 ((triple3 triple5) -> rule7)) -> rule6) OR ((((((triple5) -> rule5) triple1) -> rule2) triple1) -> rule6) OR ((((((triple1 triple2) -> rule4) triple1) -> rule2) triple1) -> rule6) OR ((((((triple5) -> rule5) triple1) -> rule2) ((triple3 triple5) -> rule7)) -> rule6) OR ((((((triple1 triple2) -> rule4) triple1) -> rule2) ((triple3 triple5) -> rule7)) -> rule6) OR ((((((((triple1) -> rule1)) -> rule5) triple1) -> rule2) triple1) -> rule6) OR ((((((((triple1) -> rule1)) -> rule5) triple1) -> rule2) ((triple3 triple5) -> rule7)) -> rule6))] Anne is round.[(triple5 OR ((triple1) -> rule1))] Anne is white.[(triple6)] Gary is furry.[(triple7 OR ((triple9) -> rule5))] Gary is quiet.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10)] @1: Anne is furry.[(((triple5) -> rule5) OR ((triple1 triple2) -> rule4) OR ((((triple1) -> rule1)) -> rule5) OR ((((triple3 triple5) -> rule7) triple2) -> rule4))] Gary is cold.[(((triple8 triple9) -> rule7))] @2: Gary is rough.[(((((triple8 triple9) -> rule7)) -> rule8))] @3: Gary is green.[(((triple7 ((((triple8 triple9) -> rule7)) -> rule8)) -> rule3) OR ((((triple9) -> rule5) ((((triple8 triple9) -> rule7)) -> rule8)) -> rule3))]