Anne is round. Anne is young. Erin is furry. Erin is quiet. Erin is red. Erin is young. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. Gary is furry. Gary is round. Gary is white. All rough people are furry. All furry people are red. If someone is red and furry then they are rough. If Gary is young then Gary is red. Furry people are rough. Young people are rough. Furry people are red. Furry, rough people are young.
Gary is white.
@0: Anne is round.[(triple1)] Anne is young.[(triple2)] Erin is furry.[(triple3 OR ((((triple6) -> rule6)) -> rule1))] Erin is quiet.[(triple4)] Erin is red.[(triple5 OR ((triple3) -> rule2) OR ((triple3) -> rule7) OR ((((((triple6) -> rule6)) -> rule1)) -> rule2) OR ((((((triple6) -> rule6)) -> rule1)) -> rule7))] Erin is young.[(triple6 OR ((triple3 ((triple3) -> rule5)) -> rule8) OR ((triple3 ((triple5 triple3) -> rule3)) -> rule8) OR ((triple3 ((((triple3) -> rule2) triple3) -> rule3)) -> rule8) OR ((triple3 ((((triple3) -> rule7) triple3) -> rule3)) -> rule8))] Fiona is quiet.[(triple7)] Fiona is red.[(triple8 OR ((((triple9) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule7) OR ((((((triple12) -> rule6)) -> rule1)) -> rule2) OR ((((((triple12) -> rule6)) -> rule1)) -> rule7))] Fiona is rough.[(triple9 OR ((triple12) -> rule6))] Fiona is round.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12 OR ((((triple9) -> rule1) triple9) -> rule8))] Gary is furry.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15)] @1: Anne is rough.[(((triple2) -> rule6))] Erin is rough.[(((triple3) -> rule5) OR ((triple6) -> rule6) OR ((triple5 triple3) -> rule3) OR ((((triple3) -> rule2) triple3) -> rule3) OR ((((triple3) -> rule7) triple3) -> rule3))] Fiona is furry.[(((triple9) -> rule1) OR ((((triple12) -> rule6)) -> rule1))] Gary is red.[(((triple13) -> rule2) OR ((triple13) -> rule7) OR ((((triple13 ((triple13) -> rule5)) -> rule8)) -> rule4))] Gary is rough.[(((triple13) -> rule5) OR ((((triple13) -> rule2) triple13) -> rule3) OR ((((triple13) -> rule7) triple13) -> rule3))] @2: Anne is furry.[(((((triple2) -> rule6)) -> rule1))] Gary is young.[(((triple13 ((triple13) -> rule5)) -> rule8) OR ((triple13 ((((triple13) -> rule2) triple13) -> rule3)) -> rule8) OR ((triple13 ((((triple13) -> rule7) triple13) -> rule3)) -> rule8))] @3: Anne is red.[(((((((triple2) -> rule6)) -> rule1)) -> rule2) OR ((((((triple2) -> rule6)) -> rule1)) -> rule7))]