Bob is big. Bob is blue. Bob is nice. Bob is white. Charlie is blue. Charlie is furry. Charlie is red. Charlie is smart. Charlie is white. Dave is not big. Dave is blue. Dave is nice. Dave is red. Dave is smart. Dave is white. Smart, nice things are blue. Red things are furry. If something is red and not nice then it is furry. If something is blue then it is furry. If something is smart and not nice then it is red. If Charlie is nice then Charlie is not white.
Charlie is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is nice.[(triple3)] Bob is white.[(triple4)] Charlie is blue.[(triple5)] Charlie is furry.[(triple6 OR ((triple5) -> rule4) OR ((triple7) -> rule2))] Charlie is red.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Dave is blue.[(triple11 OR ((triple14 triple12) -> rule1))] Dave is nice.[(triple12)] Dave is not big.[(triple10)] Dave is red.[(triple13)] Dave is smart.[(triple14)] Dave is white.[(triple15)] @1: Bob is furry.[(((triple2) -> rule4))] Dave is furry.[(((triple11) -> rule4) OR ((triple13) -> rule2) OR ((((triple14 triple12) -> rule1)) -> rule4))]