Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is not green. Dave is smart. Dave is not white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is smart. Fiona is white. Harry is not blue. Harry is not green. If Harry is blue and Harry is furry then Harry is cold. If something is blue and not green then it is smart. If Harry is blue then Harry is not furry. Smart, big things are cold. If something is green and smart then it is cold. All cold things are furry. If Fiona is green and Fiona is white then Fiona is blue. If Fiona is cold and Fiona is not white then Fiona is blue.
Harry is big.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3 OR ((triple6 triple1) -> rule4) OR ((((triple2 triple5) -> rule2) triple1) -> rule4))] Dave is furry.[(triple4 OR ((triple3) -> rule6) OR ((((triple6 triple1) -> rule4)) -> rule6) OR ((((((triple2 triple5) -> rule2) triple1) -> rule4)) -> rule6))] Dave is not green.[(triple5)] Dave is not white.[(triple7)] Dave is smart.[(triple6 OR ((triple2 triple5) -> rule2))] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple12 triple14) -> rule7))] Fiona is cold.[(triple10 OR ((triple12 triple13) -> rule5) OR ((triple13 triple8) -> rule4))] Fiona is furry.[(triple11 OR ((triple10) -> rule6) OR ((((triple12 triple13) -> rule5)) -> rule6) OR ((((triple13 triple8) -> rule4)) -> rule6))] Fiona is green.[(triple12)] Fiona is smart.[(triple13)] Fiona is white.[(triple14)] Harry is not blue.[(triple15)] Harry is not green.[(triple16)]