Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Charlie is big. Charlie is furry. Dave is quiet. Dave is red. Dave is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Kind, cold people are young. Quiet people are cold. If Fiona is kind and Fiona is big then Fiona is quiet. All cold people are furry. If someone is cold and red then they are furry. Red people are big. If someone is cold and big then they are quiet. All young, furry people are red.
Fiona is furry.
@0: Bob is big.[(triple1 OR ((triple6) -> rule6) OR ((((((triple4 triple2) -> rule1) triple3) -> rule8)) -> rule6) OR ((((((triple4 triple2) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple4 ((triple5) -> rule2)) -> rule1) triple3) -> rule8)) -> rule6) OR ((((((triple4 triple2) -> rule1) ((((triple5) -> rule2)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple4 ((triple5) -> rule2)) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple4 ((triple5) -> rule2)) -> rule1) ((((triple5) -> rule2)) -> rule4)) -> rule8)) -> rule6))] Bob is cold.[(triple2 OR ((triple5) -> rule2))] Bob is furry.[(triple3 OR ((triple2) -> rule4) OR ((triple2 triple6) -> rule5) OR ((((triple5) -> rule2)) -> rule4) OR ((((triple5) -> rule2) triple6) -> rule5))] Bob is kind.[(triple4)] Bob is quiet.[(triple5 OR ((triple2 triple1) -> rule7) OR ((triple2 ((triple6) -> rule6)) -> rule7) OR ((triple2 ((((((triple4 triple2) -> rule1) triple3) -> rule8)) -> rule6)) -> rule7) OR ((triple2 ((((((triple4 triple2) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule6)) -> rule7))] Bob is red.[(triple6 OR ((((triple4 triple2) -> rule1) triple3) -> rule8) OR ((((triple4 triple2) -> rule1) ((triple2) -> rule4)) -> rule8) OR ((((triple4 ((triple5) -> rule2)) -> rule1) triple3) -> rule8) OR ((((triple4 triple2) -> rule1) ((((triple5) -> rule2)) -> rule4)) -> rule8) OR ((((triple4 ((triple5) -> rule2)) -> rule1) ((triple2) -> rule4)) -> rule8) OR ((((triple4 ((triple5) -> rule2)) -> rule1) ((((triple5) -> rule2)) -> rule4)) -> rule8))] Charlie is big.[(triple7)] Charlie is furry.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10 OR ((triple11 ((((triple9) -> rule2)) -> rule4)) -> rule8))] Dave is young.[(triple11)] Fiona is cold.[(triple12 OR ((triple15) -> rule2))] Fiona is furry.[(triple13 OR ((triple12) -> rule4) OR ((((triple15) -> rule2)) -> rule4))] Fiona is kind.[(triple14)] Fiona is quiet.[(triple15 OR ((triple12 ((((((triple14 triple12) -> rule1) triple13) -> rule8)) -> rule6)) -> rule7) OR ((triple14 ((((((triple14 triple12) -> rule1) triple13) -> rule8)) -> rule6)) -> rule3) OR ((triple12 ((((((triple14 triple12) -> rule1) ((triple12) -> rule4)) -> rule8)) -> rule6)) -> rule7) OR ((triple14 ((((((triple14 triple12) -> rule1) ((triple12) -> rule4)) -> rule8)) -> rule6)) -> rule3))] @1: Bob is young.[(((triple4 triple2) -> rule1) OR ((triple4 ((triple5) -> rule2)) -> rule1))] Dave is big.[(((triple10) -> rule6) OR ((((triple11 ((((triple9) -> rule2)) -> rule4)) -> rule8)) -> rule6))] Dave is cold.[(((triple9) -> rule2))] Fiona is young.[(((triple14 triple12) -> rule1) OR ((triple14 ((triple15) -> rule2)) -> rule1))] @2: Dave is furry.[(((((triple9) -> rule2)) -> rule4) OR ((((triple9) -> rule2) triple10) -> rule5))] Fiona is red.[(((((triple14 triple12) -> rule1) triple13) -> rule8) OR ((((triple14 triple12) -> rule1) ((triple12) -> rule4)) -> rule8) OR ((((triple14 ((triple15) -> rule2)) -> rule1) triple13) -> rule8) OR ((((triple14 triple12) -> rule1) ((((triple15) -> rule2)) -> rule4)) -> rule8) OR ((((triple14 ((triple15) -> rule2)) -> rule1) ((triple12) -> rule4)) -> rule8) OR ((((triple14 ((triple15) -> rule2)) -> rule1) ((((triple15) -> rule2)) -> rule4)) -> rule8))] @3: Fiona is big.[(((((((triple14 triple12) -> rule1) triple13) -> rule8)) -> rule6) OR ((((((triple14 triple12) -> rule1) ((triple12) -> rule4)) -> rule8)) -> rule6) OR ((((((triple14 ((triple15) -> rule2)) -> rule1) triple13) -> rule8)) -> rule6) OR ((((((triple14 triple12) -> rule1) ((((triple15) -> rule2)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple14 ((triple15) -> rule2)) -> rule1) ((triple12) -> rule4)) -> rule8)) -> rule6) OR ((((((triple14 ((triple15) -> rule2)) -> rule1) ((((triple15) -> rule2)) -> rule4)) -> rule8)) -> rule6))]