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