Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is rough. Dave is cold. Dave is furry. Dave is kind. Dave is rough. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is rough. Erin is young. Young people are green. Kind people are big. If someone is rough and big then they are cold. If someone is young and green then they are cold. If someone is cold and kind then they are furry. If Dave is big then Dave is furry. All rough, green people are cold. If someone is cold then they are young.
Dave is not rough.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple5 triple1) -> rule3) OR ((triple5 triple4) -> rule7))] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((((triple2) -> rule8)) -> rule1) OR ((((((triple5 triple1) -> rule3)) -> rule8)) -> rule1))] Bob is rough.[(triple5)] Dave is cold.[(triple6 OR ((triple9 ((triple8) -> rule2)) -> rule3))] Dave is furry.[(triple7 OR ((triple6 triple8) -> rule5) OR ((((triple8) -> rule2)) -> rule6) OR ((((triple9 ((triple8) -> rule2)) -> rule3) triple8) -> rule5))] Dave is kind.[(triple8)] Dave is rough.[(triple9)] Erin is big.[(triple10 OR ((triple14) -> rule2))] Erin is cold.[(triple11 OR ((triple15 triple10) -> rule3) OR ((triple15 triple13) -> rule7) OR ((triple16 triple13) -> rule4) OR ((triple15 ((triple14) -> rule2)) -> rule3) OR ((triple15 ((triple16) -> rule1)) -> rule7) OR ((triple16 ((triple16) -> rule1)) -> rule4))] Erin is furry.[(triple12 OR ((triple11 triple14) -> rule5) OR ((((triple15 triple10) -> rule3) triple14) -> rule5) OR ((((triple15 triple13) -> rule7) triple14) -> rule5) OR ((((triple16 triple13) -> rule4) triple14) -> rule5) OR ((((triple15 ((triple14) -> rule2)) -> rule3) triple14) -> rule5) OR ((((triple15 ((triple16) -> rule1)) -> rule7) triple14) -> rule5) OR ((((triple16 ((triple16) -> rule1)) -> rule4) triple14) -> rule5))] Erin is green.[(triple13 OR ((triple16) -> rule1) OR ((((triple11) -> rule8)) -> rule1) OR ((((((triple15 triple10) -> rule3)) -> rule8)) -> rule1) OR ((((((triple15 ((triple14) -> rule2)) -> rule3)) -> rule8)) -> rule1))] Erin is kind.[(triple14)] Erin is rough.[(triple15)] Erin is young.[(triple16 OR ((triple11) -> rule8) OR ((((triple15 triple10) -> rule3)) -> rule8) OR ((((triple15 triple13) -> rule7)) -> rule8) OR ((((triple15 ((triple14) -> rule2)) -> rule3)) -> rule8))] @1: Bob is young.[(((triple2) -> rule8) OR ((((triple5 triple1) -> rule3)) -> rule8) OR ((((triple5 triple4) -> rule7)) -> rule8))] Dave is big.[(((triple8) -> rule2))] Dave is young.[(((triple6) -> rule8) OR ((((triple9 ((triple8) -> rule2)) -> rule3)) -> rule8))] @2: Dave is green.[(((((triple6) -> rule8)) -> rule1) OR ((((((triple9 ((triple8) -> rule2)) -> rule3)) -> rule8)) -> rule1))]