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