Dave is blue. Dave is furry. Dave is kind. Dave is nice. Dave is white. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is white. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is white. Kind, furry things are quiet. If something is nice then it is kind. If Dave is nice and Dave is kind then Dave is white. Furry things are red. If Harry is quiet and Harry is white then Harry is nice. If Fiona is red then Fiona is furry. If Fiona is kind then Fiona is quiet. If something is quiet and red then it is kind.
Dave is nice.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple4) -> rule2))] Dave is nice.[(triple4)] Dave is white.[(triple5 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple4) -> rule2)) -> rule3))] Fiona is blue.[(triple6)] Fiona is furry.[(triple7 OR ((triple10) -> rule6))] Fiona is kind.[(triple8 OR ((triple9) -> rule2))] Fiona is nice.[(triple9)] Fiona is red.[(triple10 OR ((triple7) -> rule4))] Fiona is white.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13 OR ((triple14 triple15) -> rule8) OR ((((triple14 triple16) -> rule5)) -> rule2) OR ((triple14 ((triple12) -> rule4)) -> rule8))] Harry is quiet.[(triple14 OR ((triple13 triple12) -> rule1))] Harry is red.[(triple15 OR ((triple12) -> rule4))] Harry is white.[(triple16)] @1: Dave is quiet.[(((triple3 triple2) -> rule1) OR ((((triple4) -> rule2) triple2) -> rule1))] Dave is red.[(((triple2) -> rule4))] Fiona is quiet.[(((triple8) -> rule7) OR ((triple8 triple7) -> rule1) OR ((((triple9) -> rule2)) -> rule7) OR ((triple8 ((triple10) -> rule6)) -> rule1) OR ((((triple9) -> rule2) triple7) -> rule1) OR ((((triple9) -> rule2) ((triple10) -> rule6)) -> rule1))] Harry is nice.[(((triple14 triple16) -> rule5) OR ((((triple13 triple12) -> rule1) triple16) -> rule5))]