Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is white. If Fiona is quiet and Fiona is red then Fiona is nice. Cold people are red. Cold people are nice. All cold people are quiet. White people are cold. Green, red people are nice. Quiet people are green. All green people are cold.
Fiona is not white.
@0: Fiona is cold.[(triple1 OR ((triple2) -> rule8) OR ((triple7) -> rule5) OR ((((triple5) -> rule7)) -> rule8))] Fiona is green.[(triple2 OR ((triple5) -> rule7) OR ((((triple1) -> rule4)) -> rule7) OR ((((((triple7) -> rule5)) -> rule4)) -> rule7))] Fiona is kind.[(triple3)] Fiona is nice.[(triple4 OR ((triple1) -> rule3) OR ((triple2 triple6) -> rule6) OR ((triple5 triple6) -> rule1) OR ((((triple2) -> rule8)) -> rule3) OR ((((triple7) -> rule5)) -> rule3) OR ((triple2 ((triple1) -> rule2)) -> rule6) OR ((triple5 ((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule4) triple6) -> rule1) OR ((((triple5) -> rule7) triple6) -> rule6) OR ((((triple1) -> rule4) ((triple1) -> rule2)) -> rule1) OR ((((triple5) -> rule7) ((triple1) -> rule2)) -> rule6) OR ((((((triple5) -> rule7)) -> rule8)) -> rule3) OR ((triple2 ((((triple2) -> rule8)) -> rule2)) -> rule6) OR ((triple2 ((((triple7) -> rule5)) -> rule2)) -> rule6) OR ((triple5 ((((triple2) -> rule8)) -> rule2)) -> rule1) OR ((triple5 ((((triple7) -> rule5)) -> rule2)) -> rule1) OR ((((((triple1) -> rule4)) -> rule7) triple6) -> rule6) OR ((((((triple2) -> rule8)) -> rule4) triple6) -> rule1) OR ((((((triple7) -> rule5)) -> rule4) triple6) -> rule1) OR ((((triple1) -> rule4) ((((triple2) -> rule8)) -> rule2)) -> rule1) OR ((((triple1) -> rule4) ((((triple7) -> rule5)) -> rule2)) -> rule1) OR ((((triple5) -> rule7) ((((triple2) -> rule8)) -> rule2)) -> rule6) OR ((((triple5) -> rule7) ((((triple7) -> rule5)) -> rule2)) -> rule6) OR ((((((triple1) -> rule4)) -> rule7) ((triple1) -> rule2)) -> rule6) OR ((((((triple2) -> rule8)) -> rule4) ((triple1) -> rule2)) -> rule1) OR ((((((triple7) -> rule5)) -> rule4) ((triple1) -> rule2)) -> rule1) OR ((((((triple1) -> rule4)) -> rule7) ((((triple2) -> rule8)) -> rule2)) -> rule6) OR ((((((triple1) -> rule4)) -> rule7) ((((triple7) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule8)) -> rule4) ((((triple2) -> rule8)) -> rule2)) -> rule1) OR ((((((triple2) -> rule8)) -> rule4) ((((triple7) -> rule5)) -> rule2)) -> rule1) OR ((((((triple7) -> rule5)) -> rule4) ((((triple2) -> rule8)) -> rule2)) -> rule1) OR ((((((triple7) -> rule5)) -> rule4) ((((triple7) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple5) -> rule7)) -> rule8)) -> rule2)) -> rule6) OR ((triple5 ((((((triple5) -> rule7)) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple7) -> rule5)) -> rule4)) -> rule7) triple6) -> rule6) OR ((((triple1) -> rule4) ((((((triple5) -> rule7)) -> rule8)) -> rule2)) -> rule1) OR ((((triple5) -> rule7) ((((((triple5) -> rule7)) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple7) -> rule5)) -> rule4)) -> rule7) ((triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule4)) -> rule7) ((((((triple5) -> rule7)) -> rule8)) -> rule2)) -> rule6) OR ((((((triple2) -> rule8)) -> rule4) ((((((triple5) -> rule7)) -> rule8)) -> rule2)) -> rule1) OR ((((((triple7) -> rule5)) -> rule4) ((((((triple5) -> rule7)) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple7) -> rule5)) -> rule4)) -> rule7) ((((triple2) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple7) -> rule5)) -> rule4)) -> rule7) ((((triple7) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple7) -> rule5)) -> rule4)) -> rule7) ((((((triple5) -> rule7)) -> rule8)) -> rule2)) -> rule6))] Fiona is quiet.[(triple5 OR ((triple1) -> rule4) OR ((((triple2) -> rule8)) -> rule4) OR ((((triple7) -> rule5)) -> rule4))] Fiona is red.[(triple6 OR ((triple1) -> rule2) OR ((((triple2) -> rule8)) -> rule2) OR ((((triple7) -> rule5)) -> rule2) OR ((((((triple5) -> rule7)) -> rule8)) -> rule2))] Fiona is white.[(triple7)]