Anne is kind. Dave is blue. Erin is big. Harry is cold. If someone is kind then they are furry. Kind people are furry. All cold, big people are furry. If Dave is not big and Dave is not cold then Dave is not furry. If someone is rough and not big then they are blue. Young people are blue. If someone is furry then they are young. All young people are rough.
Erin is cold.
@0: Anne is kind.[(triple1)] Dave is blue.[(triple2)] Erin is big.[(triple3)] Harry is cold.[(triple4)] @1: Anne is furry.[(((triple1) -> rule1) OR ((triple1) -> rule2))] @2: Anne is young.[(((((triple1) -> rule1)) -> rule7) OR ((((triple1) -> rule2)) -> rule7))] @3: Anne is blue.[(((((((triple1) -> rule1)) -> rule7)) -> rule6) OR ((((((triple1) -> rule2)) -> rule7)) -> rule6))] Anne is rough.[(((((((triple1) -> rule1)) -> rule7)) -> rule8) OR ((((((triple1) -> rule2)) -> rule7)) -> rule8))]