Bob is rough. Bob is white. Bob is young. Dave is big. Dave is furry. Dave is kind. Dave is quiet. Dave is rough. Dave is white. Dave is young. Erin is big. Erin is quiet. Erin is rough. Erin is white. Fiona is furry. Fiona is kind. If someone is kind and rough then they are young. If someone is furry and kind then they are big. White people are kind. Young, kind people are big. Quiet people are big. Furry, white people are big. Kind, big people are white. All young, kind people are quiet. All white, furry people are rough.
Fiona is not rough.
@0: Bob is rough.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3 OR ((((triple2) -> rule3) triple1) -> rule1))] Dave is big.[(triple4 OR ((triple7) -> rule5) OR ((triple10 triple6) -> rule4) OR ((triple5 triple6) -> rule2) OR ((triple5 triple9) -> rule6) OR ((((triple10 triple6) -> rule8)) -> rule5) OR ((triple10 ((triple9) -> rule3)) -> rule4) OR ((triple5 ((triple9) -> rule3)) -> rule2) OR ((((triple6 triple8) -> rule1) triple6) -> rule4) OR ((((triple6 triple8) -> rule1) ((triple9) -> rule3)) -> rule4) OR ((((triple10 ((triple9) -> rule3)) -> rule8)) -> rule5) OR ((((((triple6 triple8) -> rule1) triple6) -> rule8)) -> rule5) OR ((((triple6 ((triple9 triple5) -> rule9)) -> rule1) triple6) -> rule4) OR ((((((triple9) -> rule3) triple8) -> rule1) triple6) -> rule4) OR ((((((triple6 triple8) -> rule1) ((triple9) -> rule3)) -> rule8)) -> rule5) OR ((((triple6 ((triple9 triple5) -> rule9)) -> rule1) ((triple9) -> rule3)) -> rule4) OR ((((((triple9) -> rule3) triple8) -> rule1) ((triple9) -> rule3)) -> rule4) OR ((((((triple9) -> rule3) ((triple9 triple5) -> rule9)) -> rule1) triple6) -> rule4) OR ((((((triple9) -> rule3) ((triple9 triple5) -> rule9)) -> rule1) ((triple9) -> rule3)) -> rule4) OR ((((((triple6 ((triple9 triple5) -> rule9)) -> rule1) triple6) -> rule8)) -> rule5) OR ((((((((triple9) -> rule3) triple8) -> rule1) triple6) -> rule8)) -> rule5) OR ((((((triple6 ((triple9 triple5) -> rule9)) -> rule1) ((triple9) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule3) triple8) -> rule1) ((triple9) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule3) ((triple9 triple5) -> rule9)) -> rule1) triple6) -> rule8)) -> rule5) OR ((((((((triple9) -> rule3) ((triple9 triple5) -> rule9)) -> rule1) ((triple9) -> rule3)) -> rule8)) -> rule5))] Dave is furry.[(triple5)] Dave is kind.[(triple6 OR ((triple9) -> rule3))] Dave is quiet.[(triple7 OR ((triple10 triple6) -> rule8) OR ((triple10 ((triple9) -> rule3)) -> rule8) OR ((((triple6 triple8) -> rule1) triple6) -> rule8) OR ((((triple6 triple8) -> rule1) ((triple9) -> rule3)) -> rule8) OR ((((triple6 ((triple9 triple5) -> rule9)) -> rule1) triple6) -> rule8) OR ((((((triple9) -> rule3) triple8) -> rule1) triple6) -> rule8) OR ((((triple6 ((triple9 triple5) -> rule9)) -> rule1) ((triple9) -> rule3)) -> rule8) OR ((((((triple9) -> rule3) triple8) -> rule1) ((triple9) -> rule3)) -> rule8) OR ((((((triple9) -> rule3) ((triple9 triple5) -> rule9)) -> rule1) triple6) -> rule8) OR ((((((triple9) -> rule3) ((triple9 triple5) -> rule9)) -> rule1) ((triple9) -> rule3)) -> rule8) OR ((((triple6 ((((triple6 triple4) -> rule7) triple5) -> rule9)) -> rule1) triple6) -> rule8) OR ((((triple6 ((((triple6 triple4) -> rule7) triple5) -> rule9)) -> rule1) ((triple9) -> rule3)) -> rule8) OR ((((((triple9) -> rule3) ((((triple6 triple4) -> rule7) triple5) -> rule9)) -> rule1) triple6) -> rule8) OR ((((((triple9) -> rule3) ((((triple6 triple4) -> rule7) triple5) -> rule9)) -> rule1) ((triple9) -> rule3)) -> rule8) OR ((((triple6 ((((triple6 ((triple5 triple6) -> rule2)) -> rule7) triple5) -> rule9)) -> rule1) triple6) -> rule8) OR ((((triple6 ((((triple6 ((triple5 triple6) -> rule2)) -> rule7) triple5) -> rule9)) -> rule1) ((triple9) -> rule3)) -> rule8) OR ((((((triple9) -> rule3) ((((triple6 ((triple5 triple6) -> rule2)) -> rule7) triple5) -> rule9)) -> rule1) triple6) -> rule8) OR ((((((triple9) -> rule3) ((((triple6 ((triple5 triple6) -> rule2)) -> rule7) triple5) -> rule9)) -> rule1) ((triple9) -> rule3)) -> rule8))] Dave is rough.[(triple8 OR ((triple9 triple5) -> rule9) OR ((((triple6 triple4) -> rule7) triple5) -> rule9) OR ((((triple6 ((triple7) -> rule5)) -> rule7) triple5) -> rule9) OR ((((triple6 ((triple10 triple6) -> rule4)) -> rule7) triple5) -> rule9) OR ((((triple6 ((triple5 triple6) -> rule2)) -> rule7) triple5) -> rule9) OR ((((triple6 ((((triple10 triple6) -> rule8)) -> rule5)) -> rule7) triple5) -> rule9))] Dave is white.[(triple9 OR ((triple6 triple4) -> rule7) OR ((triple6 ((triple7) -> rule5)) -> rule7) OR ((triple6 ((triple10 triple6) -> rule4)) -> rule7) OR ((triple6 ((triple5 triple6) -> rule2)) -> rule7) OR ((triple6 ((((triple10 triple6) -> rule8)) -> rule5)) -> rule7) OR ((triple6 ((((triple6 triple8) -> rule1) triple6) -> rule4)) -> rule7) OR ((triple6 ((((((triple6 triple8) -> rule1) triple6) -> rule8)) -> rule5)) -> rule7))] Dave is young.[(triple10 OR ((triple6 triple8) -> rule1) OR ((triple6 ((triple9 triple5) -> rule9)) -> rule1) OR ((((triple9) -> rule3) triple8) -> rule1) OR ((((triple9) -> rule3) ((triple9 triple5) -> rule9)) -> rule1) OR ((triple6 ((((triple6 triple4) -> rule7) triple5) -> rule9)) -> rule1) OR ((((triple9) -> rule3) ((((triple6 triple4) -> rule7) triple5) -> rule9)) -> rule1) OR ((triple6 ((((triple6 ((triple7) -> rule5)) -> rule7) triple5) -> rule9)) -> rule1) OR ((triple6 ((((triple6 ((triple5 triple6) -> rule2)) -> rule7) triple5) -> rule9)) -> rule1) OR ((((triple9) -> rule3) ((((triple6 ((triple7) -> rule5)) -> rule7) triple5) -> rule9)) -> rule1) OR ((((triple9) -> rule3) ((((triple6 ((triple5 triple6) -> rule2)) -> rule7) triple5) -> rule9)) -> rule1))] Erin is big.[(triple11 OR ((triple12) -> rule5) OR ((((((triple14) -> rule3) triple13) -> rule1) ((triple14) -> rule3)) -> rule4) OR ((((((((triple14) -> rule3) triple13) -> rule1) ((triple14) -> rule3)) -> rule8)) -> rule5))] Erin is quiet.[(triple12 OR ((((((triple14) -> rule3) triple13) -> rule1) ((triple14) -> rule3)) -> rule8))] Erin is rough.[(triple13)] Erin is white.[(triple14)] Fiona is furry.[(triple15)] Fiona is kind.[(triple16)] @1: Bob is kind.[(((triple2) -> rule3))] Erin is kind.[(((triple14) -> rule3))] Fiona is big.[(((triple15 triple16) -> rule2))] @2: Bob is big.[(((triple3 ((triple2) -> rule3)) -> rule4) OR ((((triple3 ((triple2) -> rule3)) -> rule8)) -> rule5) OR ((((((triple2) -> rule3) triple1) -> rule1) ((triple2) -> rule3)) -> rule4) OR ((((((((triple2) -> rule3) triple1) -> rule1) ((triple2) -> rule3)) -> rule8)) -> rule5))] Bob is quiet.[(((triple3 ((triple2) -> rule3)) -> rule8) OR ((((((triple2) -> rule3) triple1) -> rule1) ((triple2) -> rule3)) -> rule8))] Erin is young.[(((((triple14) -> rule3) triple13) -> rule1))] Fiona is white.[(((triple16 ((triple15 triple16) -> rule2)) -> rule7))] @3: Fiona is rough.[(((((triple16 ((triple15 triple16) -> rule2)) -> rule7) triple15) -> rule9))] @4: Fiona is young.[(((triple16 ((((triple16 ((triple15 triple16) -> rule2)) -> rule7) triple15) -> rule9)) -> rule1))] @5: Fiona is quiet.[(((((triple16 ((((triple16 ((triple15 triple16) -> rule2)) -> rule7) triple15) -> rule9)) -> rule1) triple16) -> rule8))]