Bob is young. Erin is blue. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is young. Fiona is blue. Fiona is kind. Fiona is red. Fiona is young. Harry is blue. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Furry people are nice. All furry people are kind. If Harry is quiet then Harry is young. Nice people are quiet. All red people are quiet. Blue people are furry. Young, furry people are blue. If someone is nice then they are red.
Harry is furry.
@0: Bob is young.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple3 OR ((((triple2) -> rule6)) -> rule2))] Erin is nice.[(triple4 OR ((((triple2) -> rule6)) -> rule1))] Erin is quiet.[(triple5 OR ((triple4) -> rule4) OR ((triple6) -> rule5) OR ((((triple4) -> rule8)) -> rule5) OR ((((((triple2) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule1)) -> rule8)) -> rule5))] Erin is red.[(triple6 OR ((triple4) -> rule8) OR ((((((triple2) -> rule6)) -> rule1)) -> rule8))] Erin is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9 OR ((((triple8) -> rule6)) -> rule2))] Fiona is red.[(triple10 OR ((((((triple8) -> rule6)) -> rule1)) -> rule8))] Fiona is young.[(triple11)] Harry is blue.[(triple12 OR ((((triple15) -> rule3) triple13) -> rule7) OR ((((((triple14) -> rule4)) -> rule3) triple13) -> rule7) OR ((((((triple16) -> rule5)) -> rule3) triple13) -> rule7) OR ((((((((triple13) -> rule1)) -> rule4)) -> rule3) triple13) -> rule7) OR ((((((((triple14) -> rule8)) -> rule5)) -> rule3) triple13) -> rule7) OR ((((((((((triple13) -> rule1)) -> rule8)) -> rule5)) -> rule3) triple13) -> rule7))] Harry is furry.[(triple13 OR ((triple12) -> rule6))] Harry is nice.[(triple14 OR ((triple13) -> rule1) OR ((((triple12) -> rule6)) -> rule1))] Harry is quiet.[(triple15 OR ((triple14) -> rule4) OR ((triple16) -> rule5) OR ((((triple13) -> rule1)) -> rule4) OR ((((triple14) -> rule8)) -> rule5) OR ((((((triple12) -> rule6)) -> rule1)) -> rule4) OR ((((((triple13) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple12) -> rule6)) -> rule1)) -> rule8)) -> rule5))] Harry is red.[(triple16 OR ((triple14) -> rule8) OR ((((triple13) -> rule1)) -> rule8) OR ((((((triple12) -> rule6)) -> rule1)) -> rule8))] @1: Erin is furry.[(((triple2) -> rule6))] Fiona is furry.[(((triple8) -> rule6))] Fiona is quiet.[(((triple10) -> rule5) OR ((((((triple8) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple8) -> rule6)) -> rule1)) -> rule8)) -> rule5))] Harry is kind.[(((triple13) -> rule2) OR ((((triple12) -> rule6)) -> rule2))] Harry is young.[(((triple15) -> rule3) OR ((((triple14) -> rule4)) -> rule3) OR ((((triple16) -> rule5)) -> rule3) OR ((((((triple13) -> rule1)) -> rule4)) -> rule3) OR ((((((triple14) -> rule8)) -> rule5)) -> rule3) OR ((((((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule1)) -> rule8)) -> rule5)) -> rule3) OR ((((((((((triple12) -> rule6)) -> rule1)) -> rule8)) -> rule5)) -> rule3))] @2: Fiona is nice.[(((((triple8) -> rule6)) -> rule1))]