Dave is cold. Dave is not nice. Dave is not white. Fiona is big. Fiona is green. Gary is white. Harry is not big. Harry is furry. Harry is nice. Harry is white. Green things are not cold. If something is big and green then it is not quiet. If something is cold and not big then it is not quiet. If something is nice and not big then it is quiet. All big, quiet things are not furry. Green, big things are not white. If something is quiet and not big then it is green. If Harry is quiet and Harry is not cold then Harry is furry.
Fiona is not cold.
@0: Dave is cold.[(triple1)] Dave is not nice.[(triple2)] Dave is not white.[(triple3)] Fiona is big.[(triple4)] Fiona is green.[(triple5)] Gary is white.[(triple6)] Harry is furry.[(triple8 OR ((((triple9 triple7) -> rule4) ((((((triple9 triple7) -> rule4) triple7) -> rule7)) -> rule1)) -> rule8))] Harry is nice.[(triple9)] Harry is not big.[(triple7)] Harry is white.[(triple10)] @1: Fiona is not cold.[(((triple5) -> rule1))] Fiona is not quiet.[(((triple4 triple5) -> rule2))] Fiona is not white.[(((triple5 triple4) -> rule6))] Harry is quiet.[(((triple9 triple7) -> rule4))] @2: Harry is green.[(((((triple9 triple7) -> rule4) triple7) -> rule7))] @3: Harry is not cold.[(((((((triple9 triple7) -> rule4) triple7) -> rule7)) -> rule1))]