Dave is nice. Dave is quiet. Dave is red. Dave is white. Gary is furry. Gary is quiet. Gary is red. All nice, red people are quiet. All quiet people are green. All nice, furry people are green. If someone is white and nice then they are furry. All green, red people are rough. If someone is quiet and furry then they are rough. Red, furry people are nice. If someone is quiet and nice then they are rough.
Gary is furry.
@0: Dave is nice.[(triple1)] Dave is quiet.[(triple2 OR ((triple1 triple3) -> rule1))] Dave is red.[(triple3)] Dave is white.[(triple4)] Gary is furry.[(triple5)] Gary is quiet.[(triple6 OR ((((triple7 triple5) -> rule7) triple7) -> rule1))] Gary is red.[(triple7)] @1: Dave is furry.[(((triple4 triple1) -> rule4))] Dave is green.[(((triple2) -> rule2) OR ((((triple1 triple3) -> rule1)) -> rule2) OR ((triple1 ((triple4 triple1) -> rule4)) -> rule3))] Dave is rough.[(((triple2 triple1) -> rule8) OR ((triple2 ((triple4 triple1) -> rule4)) -> rule6) OR ((((triple2) -> rule2) triple3) -> rule5) OR ((((triple1 triple3) -> rule1) triple1) -> rule8) OR ((((triple1 triple3) -> rule1) ((triple4 triple1) -> rule4)) -> rule6) OR ((((((triple1 triple3) -> rule1)) -> rule2) triple3) -> rule5) OR ((((triple1 ((triple4 triple1) -> rule4)) -> rule3) triple3) -> rule5))] Gary is green.[(((triple6) -> rule2) OR ((((triple7 triple5) -> rule7) triple5) -> rule3) OR ((((((triple7 triple5) -> rule7) triple7) -> rule1)) -> rule2))] Gary is nice.[(((triple7 triple5) -> rule7))] Gary is rough.[(((triple6 triple5) -> rule6) OR ((triple6 ((triple7 triple5) -> rule7)) -> rule8) OR ((((triple6) -> rule2) triple7) -> rule5) OR ((((((triple7 triple5) -> rule7) triple5) -> rule3) triple7) -> rule5) OR ((((((triple7 triple5) -> rule7) triple7) -> rule1) triple5) -> rule6) OR ((((((triple7 triple5) -> rule7) triple7) -> rule1) ((triple7 triple5) -> rule7)) -> rule8) OR ((((((((triple7 triple5) -> rule7) triple7) -> rule1)) -> rule2) triple7) -> rule5))]