Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is white. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Gary is kind. Gary is nice. Gary is rough. Gary is white. Rough, white people are furry. If Erin is kind and Erin is quiet then Erin is rough. Furry, white people are quiet. All kind, nice people are rough. All nice people are kind. Kind people are rough. All quiet, kind people are rough. Red people are kind.
Gary is quiet.
@0: Dave is furry.[(triple1 OR ((triple6 triple7) -> rule1) OR ((((triple2) -> rule6) triple7) -> rule1) OR ((((triple2 triple3) -> rule4) triple7) -> rule1) OR ((((triple4 triple2) -> rule7) triple7) -> rule1) OR ((((((triple3) -> rule5)) -> rule6) triple7) -> rule1) OR ((((((triple5) -> rule8)) -> rule6) triple7) -> rule1) OR ((((triple4 ((triple3) -> rule5)) -> rule7) triple7) -> rule1) OR ((((triple4 ((triple5) -> rule8)) -> rule7) triple7) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule4) triple7) -> rule1) OR ((((((triple5) -> rule8) triple3) -> rule4) triple7) -> rule1))] Dave is kind.[(triple2 OR ((triple3) -> rule5) OR ((triple5) -> rule8))] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((triple1 triple7) -> rule3) OR ((((triple6 triple7) -> rule1) triple7) -> rule3) OR ((((((triple2) -> rule6) triple7) -> rule1) triple7) -> rule3) OR ((((((triple2 triple3) -> rule4) triple7) -> rule1) triple7) -> rule3) OR ((((((((triple3) -> rule5)) -> rule6) triple7) -> rule1) triple7) -> rule3) OR ((((((((triple5) -> rule8)) -> rule6) triple7) -> rule1) triple7) -> rule3) OR ((((((((triple3) -> rule5) triple3) -> rule4) triple7) -> rule1) triple7) -> rule3) OR ((((((((triple5) -> rule8) triple3) -> rule4) triple7) -> rule1) triple7) -> rule3))] Dave is red.[(triple5)] Dave is rough.[(triple6 OR ((triple2) -> rule6) OR ((triple2 triple3) -> rule4) OR ((triple4 triple2) -> rule7) OR ((((triple3) -> rule5)) -> rule6) OR ((((triple5) -> rule8)) -> rule6) OR ((triple4 ((triple3) -> rule5)) -> rule7) OR ((triple4 ((triple5) -> rule8)) -> rule7) OR ((((triple3) -> rule5) triple3) -> rule4) OR ((((triple5) -> rule8) triple3) -> rule4) OR ((((triple1 triple7) -> rule3) triple2) -> rule7) OR ((((triple1 triple7) -> rule3) ((triple3) -> rule5)) -> rule7) OR ((((triple1 triple7) -> rule3) ((triple5) -> rule8)) -> rule7))] Dave is white.[(triple7)] Erin is furry.[(triple8)] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12 OR ((((triple11) -> rule8)) -> rule6) OR ((((triple9) -> rule5)) -> rule6) OR ((triple10 ((triple11) -> rule8)) -> rule7) OR ((triple10 ((triple9) -> rule5)) -> rule7) OR ((((triple11) -> rule8) triple10) -> rule2) OR ((((triple11) -> rule8) triple9) -> rule4) OR ((((triple9) -> rule5) triple10) -> rule2) OR ((((triple9) -> rule5) triple9) -> rule4))] Gary is kind.[(triple13 OR ((triple14) -> rule5))] Gary is nice.[(triple14)] Gary is rough.[(triple15 OR ((triple13) -> rule6) OR ((triple13 triple14) -> rule4) OR ((((triple14) -> rule5)) -> rule6) OR ((((triple14) -> rule5) triple14) -> rule4))] Gary is white.[(triple16)] @1: Erin is kind.[(((triple11) -> rule8) OR ((triple9) -> rule5))] Gary is furry.[(((triple15 triple16) -> rule1) OR ((((triple13) -> rule6) triple16) -> rule1) OR ((((triple13 triple14) -> rule4) triple16) -> rule1) OR ((((((triple14) -> rule5)) -> rule6) triple16) -> rule1) OR ((((((triple14) -> rule5) triple14) -> rule4) triple16) -> rule1))] @2: Gary is quiet.[(((((triple15 triple16) -> rule1) triple16) -> rule3) OR ((((((triple13) -> rule6) triple16) -> rule1) triple16) -> rule3) OR ((((((triple13 triple14) -> rule4) triple16) -> rule1) triple16) -> rule3) OR ((((((((triple14) -> rule5)) -> rule6) triple16) -> rule1) triple16) -> rule3) OR ((((((((triple14) -> rule5) triple14) -> rule4) triple16) -> rule1) triple16) -> rule3))]