Dave is big. Dave is blue. Dave is kind. Dave is round. Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Harry is nice. If someone is furry then they are nice. If someone is kind then they are quiet. All round people are quiet. Blue people are nice. Kind people are quiet. If Gary is quiet and Gary is nice then Gary is furry. If Fiona is big then Fiona is quiet. All quiet, furry people are nice.
Gary is kind.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is kind.[(triple3)] Dave is round.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9 OR ((triple6) -> rule4) OR ((triple7) -> rule1) OR ((triple10 triple7) -> rule8) OR ((((triple11) -> rule3) triple7) -> rule8) OR ((((triple5) -> rule7) triple7) -> rule8) OR ((((triple8) -> rule2) triple7) -> rule8) OR ((((triple8) -> rule5) triple7) -> rule8))] Fiona is quiet.[(triple10 OR ((triple11) -> rule3) OR ((triple5) -> rule7) OR ((triple8) -> rule2) OR ((triple8) -> rule5))] Fiona is round.[(triple11)] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is quiet.[(triple14 OR ((triple13) -> rule2) OR ((triple13) -> rule5) OR ((triple15) -> rule3))] Gary is round.[(triple15)] Harry is nice.[(triple16)] @1: Dave is nice.[(((triple2) -> rule4))] Dave is quiet.[(((triple3) -> rule2) OR ((triple3) -> rule5) OR ((triple4) -> rule3))] Gary is nice.[(((triple12) -> rule1) OR ((triple14 triple12) -> rule8) OR ((((triple13) -> rule2) triple12) -> rule8) OR ((((triple13) -> rule5) triple12) -> rule8) OR ((((triple15) -> rule3) triple12) -> rule8))]