Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is red. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is red. All red things are blue. Kind things are big. If Dave is red then Dave is big. All red things are big. All nice, cold things are furry. All red things are big. All red, blue things are nice. All furry things are cold.
Erin is big.
@0: Dave is big.[(triple1 OR ((triple6) -> rule3) OR ((triple6) -> rule4) OR ((triple6) -> rule6))] Dave is blue.[(triple2 OR ((triple6) -> rule1))] Dave is cold.[(triple3 OR ((triple4) -> rule8))] Dave is furry.[(triple4 OR ((triple5 triple3) -> rule5) OR ((((triple6 triple2) -> rule7) triple3) -> rule5) OR ((((triple6 ((triple6) -> rule1)) -> rule7) triple3) -> rule5))] Dave is nice.[(triple5 OR ((triple6 triple2) -> rule7) OR ((triple6 ((triple6) -> rule1)) -> rule7))] Dave is red.[(triple6)] Erin is big.[(triple7 OR ((triple10) -> rule2) OR ((triple12) -> rule4) OR ((triple12) -> rule6))] Erin is blue.[(triple8 OR ((triple12) -> rule1))] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11 OR ((triple12 triple8) -> rule7) OR ((triple12 ((triple12) -> rule1)) -> rule7))] Erin is red.[(triple12)] @1: Erin is cold.[(((triple9) -> rule8))]