Bob is big. Bob is cold. Bob is furry. Bob is quiet. Bob is white. Bob is young. Dave is cold. Dave is young. Fiona is big. Fiona is cold. Fiona is white. Fiona is young. Harry is big. Harry is green. Harry is quiet. Harry is young. All cold, big people are young. If someone is green and white then they are big. If someone is big and green then they are furry. Big, furry people are green. If someone is cold then they are green. If Dave is furry and Dave is green then Dave is quiet. If someone is quiet and green then they are white. Green, young people are white.
Harry is quiet.
@0: Bob is big.[(triple1 OR ((((triple2) -> rule5) triple5) -> rule2) OR ((((triple2) -> rule5) ((triple4 ((triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple2) -> rule5) ((((triple2) -> rule5) triple6) -> rule8)) -> rule2))] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple1 ((triple2) -> rule5)) -> rule3) OR ((((((triple2) -> rule5) triple5) -> rule2) ((triple2) -> rule5)) -> rule3) OR ((((((triple2) -> rule5) ((triple4 ((triple2) -> rule5)) -> rule7)) -> rule2) ((triple2) -> rule5)) -> rule3) OR ((((((triple2) -> rule5) ((((triple2) -> rule5) triple6) -> rule8)) -> rule2) ((triple2) -> rule5)) -> rule3))] Bob is quiet.[(triple4)] Bob is white.[(triple5 OR ((triple4 ((triple2) -> rule5)) -> rule7) OR ((triple4 ((triple1 triple3) -> rule4)) -> rule7) OR ((((triple2) -> rule5) triple6) -> rule8) OR ((((triple1 triple3) -> rule4) triple6) -> rule8) OR ((((triple2) -> rule5) ((triple2 triple1) -> rule1)) -> rule8) OR ((((triple1 triple3) -> rule4) ((triple2 triple1) -> rule1)) -> rule8))] Bob is young.[(triple6 OR ((triple2 triple1) -> rule1) OR ((triple2 ((((triple2) -> rule5) triple5) -> rule2)) -> rule1) OR ((triple2 ((((triple2) -> rule5) ((triple4 ((triple2) -> rule5)) -> rule7)) -> rule2)) -> rule1))] Dave is cold.[(triple7)] Dave is young.[(triple8)] Fiona is big.[(triple9 OR ((((triple10) -> rule5) triple11) -> rule2) OR ((((triple10) -> rule5) ((((triple10) -> rule5) triple12) -> rule8)) -> rule2))] Fiona is cold.[(triple10)] Fiona is white.[(triple11 OR ((((triple10) -> rule5) triple12) -> rule8) OR ((((triple10) -> rule5) ((triple10 triple9) -> rule1)) -> rule8))] Fiona is young.[(triple12 OR ((triple10 triple9) -> rule1) OR ((triple10 ((((triple10) -> rule5) triple11) -> rule2)) -> rule1))] Harry is big.[(triple13 OR ((triple14 ((triple14 triple16) -> rule8)) -> rule2) OR ((triple14 ((triple15 triple14) -> rule7)) -> rule2))] Harry is green.[(triple14)] Harry is quiet.[(triple15)] Harry is young.[(triple16)] @1: Bob is green.[(((triple2) -> rule5) OR ((triple1 triple3) -> rule4))] Dave is green.[(((triple7) -> rule5))] Fiona is green.[(((triple10) -> rule5))] Harry is furry.[(((triple13 triple14) -> rule3) OR ((((triple14 ((triple14 triple16) -> rule8)) -> rule2) triple14) -> rule3) OR ((((triple14 ((triple15 triple14) -> rule7)) -> rule2) triple14) -> rule3))] Harry is white.[(((triple14 triple16) -> rule8) OR ((triple15 triple14) -> rule7))] @2: Dave is white.[(((((triple7) -> rule5) triple8) -> rule8))] Fiona is furry.[(((triple9 ((triple10) -> rule5)) -> rule3) OR ((((((triple10) -> rule5) triple11) -> rule2) ((triple10) -> rule5)) -> rule3) OR ((((((triple10) -> rule5) ((((triple10) -> rule5) triple12) -> rule8)) -> rule2) ((triple10) -> rule5)) -> rule3))] @3: Dave is big.[(((((triple7) -> rule5) ((((triple7) -> rule5) triple8) -> rule8)) -> rule2))] @4: Dave is furry.[(((((((triple7) -> rule5) ((((triple7) -> rule5) triple8) -> rule8)) -> rule2) ((triple7) -> rule5)) -> rule3))] @5: Dave is quiet.[(((((((((triple7) -> rule5) ((((triple7) -> rule5) triple8) -> rule8)) -> rule2) ((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule6))]