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