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