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