Dave is furry. Dave is quiet. Fiona is big. Fiona is furry. Fiona is nice. Gary is rough. Harry is furry. Kind, rough things are furry. All big, quiet things are rough. All nice things are rough. All quiet things are kind. All rough things are nice. If something is furry then it is white. All nice things are quiet.
Harry is white.
@0: Dave is furry.[(triple1)] Dave is quiet.[(triple2)] Fiona is big.[(triple3)] Fiona is furry.[(triple4 OR ((((((triple5) -> rule7)) -> rule4) ((triple5) -> rule3)) -> rule1) OR ((((((triple5) -> rule7)) -> rule4) ((triple3 ((triple5) -> rule7)) -> rule2)) -> rule1))] Fiona is nice.[(triple5)] Gary is rough.[(triple6)] Harry is furry.[(triple7)] @1: Dave is kind.[(((triple2) -> rule4))] Dave is white.[(((triple1) -> rule6))] Fiona is quiet.[(((triple5) -> rule7))] Fiona is rough.[(((triple5) -> rule3) OR ((triple3 ((triple5) -> rule7)) -> rule2))] Fiona is white.[(((triple4) -> rule6) OR ((((((((triple5) -> rule7)) -> rule4) ((triple5) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple5) -> rule7)) -> rule4) ((triple3 ((triple5) -> rule7)) -> rule2)) -> rule1)) -> rule6))] Gary is nice.[(((triple6) -> rule5))] Harry is white.[(((triple7) -> rule6))] @2: Fiona is kind.[(((((triple5) -> rule7)) -> rule4))] Gary is quiet.[(((((triple6) -> rule5)) -> rule7))] @3: Gary is kind.[(((((((triple6) -> rule5)) -> rule7)) -> rule4))] @4: Gary is furry.[(((((((((triple6) -> rule5)) -> rule7)) -> rule4) triple6) -> rule1))] @5: Gary is white.[(((((((((((triple6) -> rule5)) -> rule7)) -> rule4) triple6) -> rule1)) -> rule6))]