Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is not nice. Bob is round. Bob is smart. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is not nice. Charlie is round. Charlie is smart. Dave is blue. Dave is green. Dave is round. If someone is blue and furry then they are round. Green people are furry.
Dave is not cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple4) -> rule2))] Bob is green.[(triple4)] Bob is not nice.[(triple5)] Bob is round.[(triple6 OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple4) -> rule2)) -> rule1))] Bob is smart.[(triple7)] Charlie is blue.[(triple8)] Charlie is cold.[(triple9)] Charlie is furry.[(triple10)] Charlie is not nice.[(triple11)] Charlie is round.[(triple12 OR ((triple8 triple10) -> rule1))] Charlie is smart.[(triple13)] Dave is blue.[(triple14)] Dave is green.[(triple15)] Dave is round.[(triple16 OR ((triple14 ((triple15) -> rule2)) -> rule1))] @1: Dave is furry.[(((triple15) -> rule2))]