Dave is furry. Dave is green. Dave is kind. Dave is smart. Erin is kind. Erin is quiet. Fiona is green. Fiona is quiet. Fiona is smart. Gary is kind. Gary is white. If something is green and smart then it is quiet. If Erin is smart then Erin is quiet. All kind, furry things are green. All furry things are kind. If something is kind then it is rough. All kind, rough things are smart. If something is quiet and kind then it is white. If something is white and smart then it is furry.
Erin is furry.
@0: Dave is furry.[(triple1 OR ((((((triple2 triple4) -> rule1) triple3) -> rule7) triple4) -> rule8) OR ((((((triple2 triple4) -> rule1) triple3) -> rule7) ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule8) OR ((((((triple2 ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) triple4) -> rule8) OR ((((((triple2 ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule8))] Dave is green.[(triple2 OR ((triple3 triple1) -> rule3) OR ((((triple1) -> rule4) triple1) -> rule3))] Dave is kind.[(triple3 OR ((triple1) -> rule4))] Dave is smart.[(triple4 OR ((triple3 ((triple3) -> rule5)) -> rule6) OR ((((triple1) -> rule4) ((triple3) -> rule5)) -> rule6) OR ((triple3 ((((triple1) -> rule4)) -> rule5)) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule6))] Erin is kind.[(triple5)] Erin is quiet.[(triple6 OR ((((triple5 ((triple5) -> rule5)) -> rule6)) -> rule2))] Fiona is green.[(triple7)] Fiona is quiet.[(triple8 OR ((triple7 triple9) -> rule1))] Fiona is smart.[(triple9)] Gary is kind.[(triple10)] Gary is white.[(triple11)] @1: Dave is quiet.[(((triple2 triple4) -> rule1) OR ((((triple3 triple1) -> rule3) triple4) -> rule1) OR ((triple2 ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((((triple1) -> rule4) triple1) -> rule3) triple4) -> rule1) OR ((triple2 ((((triple1) -> rule4) ((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple3 triple1) -> rule3) ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple3 triple1) -> rule3) ((((triple1) -> rule4) ((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((((triple1) -> rule4) triple1) -> rule3) ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule1) OR ((((((triple1) -> rule4) triple1) -> rule3) ((((triple1) -> rule4) ((triple3) -> rule5)) -> rule6)) -> rule1) OR ((triple2 ((triple3 ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) OR ((triple2 ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) OR ((((triple3 triple1) -> rule3) ((triple3 ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) OR ((((triple3 triple1) -> rule3) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple1) -> rule4) triple1) -> rule3) ((triple3 ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple1) -> rule4) triple1) -> rule3) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1))] Dave is rough.[(((triple3) -> rule5) OR ((((triple1) -> rule4)) -> rule5))] Erin is rough.[(((triple5) -> rule5))] Erin is white.[(((triple6 triple5) -> rule7) OR ((((((triple5 ((triple5) -> rule5)) -> rule6)) -> rule2) triple5) -> rule7))] Gary is rough.[(((triple10) -> rule5))] @2: Dave is white.[(((((triple2 triple4) -> rule1) triple3) -> rule7) OR ((((triple2 triple4) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((((triple3 triple1) -> rule3) triple4) -> rule1) triple3) -> rule7) OR ((((((triple3 triple1) -> rule3) triple4) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((triple2 ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule3) triple4) -> rule1) triple3) -> rule7) OR ((((triple2 ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((triple2 ((((triple1) -> rule4) ((triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((((triple3 triple1) -> rule3) ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule3) triple4) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((triple2 ((((triple1) -> rule4) ((triple3) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((((triple3 triple1) -> rule3) ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((((triple3 triple1) -> rule3) ((((triple1) -> rule4) ((triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule3) ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((((triple3 triple1) -> rule3) ((((triple1) -> rule4) ((triple3) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule3) ((triple3 ((triple3) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule3) ((((triple1) -> rule4) ((triple3) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule3) ((((triple1) -> rule4) ((triple3) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((triple2 ((triple3 ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((triple2 ((triple3 ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((triple2 ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((((triple3 triple1) -> rule3) ((triple3 ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((triple2 ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((((triple3 triple1) -> rule3) ((triple3 ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((((triple3 triple1) -> rule3) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule3) ((triple3 ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((((triple3 triple1) -> rule3) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule3) ((triple3 ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule3) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) triple3) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule3) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule7))] Erin is smart.[(((triple5 ((triple5) -> rule5)) -> rule6))] Gary is smart.[(((triple10 ((triple10) -> rule5)) -> rule6))] @3: Erin is furry.[(((((triple6 triple5) -> rule7) ((triple5 ((triple5) -> rule5)) -> rule6)) -> rule8) OR ((((((((triple5 ((triple5) -> rule5)) -> rule6)) -> rule2) triple5) -> rule7) ((triple5 ((triple5) -> rule5)) -> rule6)) -> rule8))] Gary is furry.[(((triple11 ((triple10 ((triple10) -> rule5)) -> rule6)) -> rule8))] @4: Erin is green.[(((triple5 ((((triple6 triple5) -> rule7) ((triple5 ((triple5) -> rule5)) -> rule6)) -> rule8)) -> rule3) OR ((triple5 ((((((((triple5 ((triple5) -> rule5)) -> rule6)) -> rule2) triple5) -> rule7) ((triple5 ((triple5) -> rule5)) -> rule6)) -> rule8)) -> rule3))] Gary is green.[(((triple10 ((triple11 ((triple10 ((triple10) -> rule5)) -> rule6)) -> rule8)) -> rule3))] @5: Gary is quiet.[(((((triple10 ((triple11 ((triple10 ((triple10) -> rule5)) -> rule6)) -> rule8)) -> rule3) ((triple10 ((triple10) -> rule5)) -> rule6)) -> rule1))]