Anne is big. Anne is cold. Anne is young. Dave is round. Dave is white. Erin is cold. Erin is white. Erin is young. Gary is cold. Gary is young. If something is big then it is cold. Round things are big. Furry, round things are big. All cold things are furry. If Erin is round then Erin is young. All furry, big things are young. White things are round. If Gary is cold then Gary is white. All white, young things are nice.
Gary is nice.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule1))] Anne is young.[(triple3 OR ((((triple2) -> rule4) triple1) -> rule6) OR ((((((triple1) -> rule1)) -> rule4) triple1) -> rule6))] Dave is round.[(triple4 OR ((triple5) -> rule7))] Dave is white.[(triple5)] Erin is cold.[(triple6 OR ((((((triple7) -> rule7)) -> rule2)) -> rule1))] Erin is white.[(triple7)] Erin is young.[(triple8 OR ((((triple7) -> rule7)) -> rule5) OR ((((triple6) -> rule4) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((triple6) -> rule4) ((((triple6) -> rule4) ((triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple7) -> rule7)) -> rule2)) -> rule1)) -> rule4) ((((triple7) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple7) -> rule7)) -> rule2)) -> rule1)) -> rule4) ((((triple6) -> rule4) ((triple7) -> rule7)) -> rule3)) -> rule6))] Gary is cold.[(triple9)] Gary is young.[(triple10 OR ((((triple9) -> rule4) ((((((triple9) -> rule8)) -> rule7)) -> rule2)) -> rule6) OR ((((triple9) -> rule4) ((((triple9) -> rule4) ((((triple9) -> rule8)) -> rule7)) -> rule3)) -> rule6))] @1: Anne is furry.[(((triple2) -> rule4) OR ((((triple1) -> rule1)) -> rule4))] Dave is big.[(((triple4) -> rule2) OR ((((triple5) -> rule7)) -> rule2))] Erin is furry.[(((triple6) -> rule4) OR ((((((((triple7) -> rule7)) -> rule2)) -> rule1)) -> rule4))] Erin is nice.[(((triple7 triple8) -> rule9) OR ((triple7 ((((triple7) -> rule7)) -> rule5)) -> rule9) OR ((triple7 ((((triple6) -> rule4) ((((triple7) -> rule7)) -> rule2)) -> rule6)) -> rule9) OR ((triple7 ((((triple6) -> rule4) ((((triple6) -> rule4) ((triple7) -> rule7)) -> rule3)) -> rule6)) -> rule9) OR ((triple7 ((((((((((triple7) -> rule7)) -> rule2)) -> rule1)) -> rule4) ((((triple7) -> rule7)) -> rule2)) -> rule6)) -> rule9) OR ((triple7 ((((((((((triple7) -> rule7)) -> rule2)) -> rule1)) -> rule4) ((((triple6) -> rule4) ((triple7) -> rule7)) -> rule3)) -> rule6)) -> rule9))] Erin is round.[(((triple7) -> rule7))] Gary is furry.[(((triple9) -> rule4))] Gary is white.[(((triple9) -> rule8))] @2: Dave is cold.[(((((triple4) -> rule2)) -> rule1) OR ((((((triple5) -> rule7)) -> rule2)) -> rule1))] Erin is big.[(((((triple7) -> rule7)) -> rule2) OR ((((triple6) -> rule4) ((triple7) -> rule7)) -> rule3))] Gary is nice.[(((((triple9) -> rule8) triple10) -> rule9) OR ((((triple9) -> rule8) ((((triple9) -> rule4) ((((((triple9) -> rule8)) -> rule7)) -> rule2)) -> rule6)) -> rule9) OR ((((triple9) -> rule8) ((((triple9) -> rule4) ((((triple9) -> rule4) ((((triple9) -> rule8)) -> rule7)) -> rule3)) -> rule6)) -> rule9))] Gary is round.[(((((triple9) -> rule8)) -> rule7))] @3: Dave is furry.[(((((((triple4) -> rule2)) -> rule1)) -> rule4) OR ((((((((triple5) -> rule7)) -> rule2)) -> rule1)) -> rule4))] Gary is big.[(((((((triple9) -> rule8)) -> rule7)) -> rule2) OR ((((triple9) -> rule4) ((((triple9) -> rule8)) -> rule7)) -> rule3))] @4: Dave is young.[(((((((((triple4) -> rule2)) -> rule1)) -> rule4) ((triple4) -> rule2)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule4) ((((triple5) -> rule7)) -> rule2)) -> rule6) OR ((((((((((triple5) -> rule7)) -> rule2)) -> rule1)) -> rule4) ((triple4) -> rule2)) -> rule6) OR ((((((((((triple5) -> rule7)) -> rule2)) -> rule1)) -> rule4) ((((triple5) -> rule7)) -> rule2)) -> rule6))] @5: Dave is nice.[(((triple5 ((((((((triple4) -> rule2)) -> rule1)) -> rule4) ((triple4) -> rule2)) -> rule6)) -> rule9) OR ((triple5 ((((((((triple4) -> rule2)) -> rule1)) -> rule4) ((((triple5) -> rule7)) -> rule2)) -> rule6)) -> rule9) OR ((triple5 ((((((((((triple5) -> rule7)) -> rule2)) -> rule1)) -> rule4) ((triple4) -> rule2)) -> rule6)) -> rule9) OR ((triple5 ((((((((((triple5) -> rule7)) -> rule2)) -> rule1)) -> rule4) ((((triple5) -> rule7)) -> rule2)) -> rule6)) -> rule9))]