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