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