Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is red. Dave is round. Dave is white. Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is red. Harry is round. Harry is not white. If Dave is cold then Dave is round. If Dave is round then Dave is red. All big, white things are kind. If Harry is white then Harry is not furry. If something is kind and white then it is cold. If Harry is big and Harry is not kind then Harry is not cold. If something is cold and big then it is furry. All white things are furry.
Dave is kind.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple4 triple7) -> rule5) OR ((((triple1 triple7) -> rule3) triple7) -> rule5))] Dave is furry.[(triple3 OR ((triple7) -> rule8) OR ((triple2 triple1) -> rule7) OR ((((triple4 triple7) -> rule5) triple1) -> rule7) OR ((((((triple1 triple7) -> rule3) triple7) -> rule5) triple1) -> rule7))] Dave is kind.[(triple4 OR ((triple1 triple7) -> rule3))] Dave is red.[(triple5 OR ((triple6) -> rule2) OR ((((triple2) -> rule1)) -> rule2) OR ((((((triple4 triple7) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple1 triple7) -> rule3) triple7) -> rule5)) -> rule1)) -> rule2))] Dave is round.[(triple6 OR ((triple2) -> rule1) OR ((((triple4 triple7) -> rule5)) -> rule1) OR ((((((triple1 triple7) -> rule3) triple7) -> rule5)) -> rule1))] Dave is white.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10 OR ((triple9 triple8) -> rule7))] Harry is kind.[(triple11)] Harry is not white.[(triple14)] Harry is red.[(triple12)] Harry is round.[(triple13)]