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