Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is red. Dave is white. Dave is young. Harry is big. Harry is kind. Harry is red. If someone is white and not cold then they are red. Cold people are big. All kind, furry people are big. If Dave is furry then Dave is red. All red people are furry. If someone is red and not big then they are young.
Harry is furry.
@0: Dave is big.[(triple1 OR ((triple2) -> rule2) OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple5) -> rule5)) -> rule3))] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple5) -> rule5))] Dave is kind.[(triple4)] Dave is red.[(triple5 OR ((triple3) -> rule4))] Dave is white.[(triple6)] Dave is young.[(triple7)] Harry is big.[(triple8 OR ((triple9 ((triple10) -> rule5)) -> rule3))] Harry is kind.[(triple9)] Harry is red.[(triple10)] @1: Harry is furry.[(((triple10) -> rule5))]