Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is round. Fiona is not white. Fiona is young. Young people are round. All round, furry people are blue. Round, white people are blue. If someone is young and furry then they are blue. If Fiona is round and Fiona is furry then Fiona is young. If Fiona is not furry then Fiona is green. If Fiona is cold and Fiona is young then Fiona is green. Blue, young people are green.
Fiona is furry.
@0: Fiona is blue.[(triple1 OR ((triple5 triple3) -> rule2) OR ((triple7 triple3) -> rule4) OR ((((triple7) -> rule1) triple3) -> rule2) OR ((((triple5 triple3) -> rule5) triple3) -> rule4))] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4 OR ((triple1 triple7) -> rule8) OR ((triple2 triple7) -> rule7) OR ((triple1 ((triple5 triple3) -> rule5)) -> rule8) OR ((triple2 ((triple5 triple3) -> rule5)) -> rule7) OR ((((triple5 triple3) -> rule2) triple7) -> rule8) OR ((((triple7 triple3) -> rule4) triple7) -> rule8) OR ((((triple5 triple3) -> rule2) ((triple5 triple3) -> rule5)) -> rule8) OR ((((triple7 triple3) -> rule4) ((triple5 triple3) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) triple3) -> rule2) triple7) -> rule8) OR ((((((triple5 triple3) -> rule5) triple3) -> rule4) triple7) -> rule8) OR ((((((triple7) -> rule1) triple3) -> rule2) ((triple5 triple3) -> rule5)) -> rule8) OR ((((((triple5 triple3) -> rule5) triple3) -> rule4) ((triple5 triple3) -> rule5)) -> rule8))] Fiona is not white.[(triple6)] Fiona is round.[(triple5 OR ((triple7) -> rule1))] Fiona is young.[(triple7 OR ((triple5 triple3) -> rule5))]