Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is white. All blue people are quiet. If Fiona is cold and Fiona is green then Fiona is red. All furry people are white. Red, blue people are white. All green, blue people are cold. If someone is white then they are red. All green people are furry. All blue, quiet people are furry.
Fiona is red.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2 OR ((triple4 triple1) -> rule5))] Fiona is furry.[(triple3 OR ((triple4) -> rule7) OR ((triple1 triple5) -> rule8) OR ((triple1 ((triple1) -> rule1)) -> rule8))] Fiona is green.[(triple4)] Fiona is quiet.[(triple5 OR ((triple1) -> rule1))] Fiona is red.[(triple6 OR ((triple7) -> rule6) OR ((triple2 triple4) -> rule2) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple4 triple1) -> rule5) triple4) -> rule2) OR ((((((triple4) -> rule7)) -> rule3)) -> rule6) OR ((((((triple1 triple5) -> rule8)) -> rule3)) -> rule6) OR ((((((triple1 ((triple1) -> rule1)) -> rule8)) -> rule3)) -> rule6))] Fiona is white.[(triple7 OR ((triple3) -> rule3) OR ((triple6 triple1) -> rule4) OR ((((triple4) -> rule7)) -> rule3) OR ((((triple1 triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule2) triple1) -> rule4) OR ((((triple1 ((triple1) -> rule1)) -> rule8)) -> rule3) OR ((((((triple4 triple1) -> rule5) triple4) -> rule2) triple1) -> rule4))]