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