Anne is green. Anne is nice. Anne is round. Anne is smart. Fiona is cold. Fiona is green. Fiona is nice. Fiona is round. Fiona is smart. Fiona is white. White people are cold. If Fiona is smart then Fiona is cold. All young people are white. All green, smart people are round. If Fiona is white and Fiona is round then Fiona is nice. All cold, young people are green. All white people are round. If someone is green and round then they are nice.
Anne is not nice.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2 OR ((triple1 triple3) -> rule8) OR ((triple1 ((triple1 triple4) -> rule4)) -> rule8))] Anne is round.[(triple3 OR ((triple1 triple4) -> rule4))] Anne is smart.[(triple4)] Fiona is cold.[(triple5 OR ((triple10) -> rule1) OR ((triple9) -> rule2))] Fiona is green.[(triple6)] Fiona is nice.[(triple7 OR ((triple10 triple8) -> rule5) OR ((triple6 triple8) -> rule8) OR ((triple10 ((triple10) -> rule7)) -> rule5) OR ((triple10 ((triple6 triple9) -> rule4)) -> rule5) OR ((triple6 ((triple10) -> rule7)) -> rule8) OR ((triple6 ((triple6 triple9) -> rule4)) -> rule8))] Fiona is round.[(triple8 OR ((triple10) -> rule7) OR ((triple6 triple9) -> rule4))] Fiona is smart.[(triple9)] Fiona is white.[(triple10)]