Bob is furry. Bob is green. Bob is quiet. Bob is young. Charlie is blue. Charlie is green. Dave is big. Dave is furry. Dave is round. Dave is young. Fiona is big. Fiona is not green. All green, furry people are big. If Fiona is blue and Fiona is big then Fiona is young. If Charlie is not round then Charlie is big. If Charlie is not furry then Charlie is big. Young people are blue. If Dave is not young and Dave is not round then Dave is blue.
Bob is quiet.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is green.[(triple6)] Dave is big.[(triple7)] Dave is furry.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)] Fiona is big.[(triple11)] Fiona is not green.[(triple12)] @1: Bob is big.[(((triple2 triple1) -> rule1))] Bob is blue.[(((triple4) -> rule5))] Dave is blue.[(((triple10) -> rule5))]