Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is young. Fiona is big. Fiona is blue. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is young. Harry is green. All blue, furry things are red. All blue, young things are green. If something is blue and cold then it is young. If something is furry then it is young. If something is cold then it is young. If something is blue and big then it is furry.
Anne is furry.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4 OR ((triple2 triple1) -> rule6))] Anne is green.[(triple5 OR ((triple2 triple7) -> rule2) OR ((triple2 ((triple3) -> rule5)) -> rule2) OR ((triple2 ((triple4) -> rule4)) -> rule2) OR ((triple2 ((triple2 triple3) -> rule3)) -> rule2) OR ((triple2 ((((triple2 triple1) -> rule6)) -> rule4)) -> rule2))] Anne is red.[(triple6 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple2 triple1) -> rule6)) -> rule1))] Anne is young.[(triple7 OR ((triple3) -> rule5) OR ((triple4) -> rule4) OR ((triple2 triple3) -> rule3) OR ((((triple2 triple1) -> rule6)) -> rule4))] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13 OR ((triple11 triple10) -> rule6))] Gary is young.[(triple14 OR ((triple12) -> rule5) OR ((triple13) -> rule4) OR ((triple11 triple12) -> rule3) OR ((((triple11 triple10) -> rule6)) -> rule4))] Harry is green.[(triple15)] @1: Fiona is furry.[(((triple9 triple8) -> rule6))] Gary is green.[(((triple11 triple14) -> rule2) OR ((triple11 ((triple12) -> rule5)) -> rule2) OR ((triple11 ((triple13) -> rule4)) -> rule2) OR ((triple11 ((triple11 triple12) -> rule3)) -> rule2) OR ((triple11 ((((triple11 triple10) -> rule6)) -> rule4)) -> rule2))] Gary is red.[(((triple11 triple13) -> rule1) OR ((triple11 ((triple11 triple10) -> rule6)) -> rule1))] @2: Fiona is red.[(((triple9 ((triple9 triple8) -> rule6)) -> rule1))] Fiona is young.[(((((triple9 triple8) -> rule6)) -> rule4))] @3: Fiona is green.[(((triple9 ((((triple9 triple8) -> rule6)) -> rule4)) -> rule2))]