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