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