Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. All cold people are green. If someone is green then they are cold. Smart, cold people are white. All smart people are cold. If someone is round then they are cold. If someone is white and round then they are red.
Fiona is not green.
@0: Fiona is cold.[(triple1 OR ((triple3) -> rule2) OR ((triple5) -> rule5) OR ((triple6) -> rule4))] Fiona is furry.[(triple2)] Fiona is green.[(triple3 OR ((triple1) -> rule1) OR ((((triple5) -> rule5)) -> rule1) OR ((((triple6) -> rule4)) -> rule1))] Fiona is red.[(triple4 OR ((triple7 triple5) -> rule6) OR ((((triple6 triple1) -> rule3) triple5) -> rule6) OR ((((triple6 ((triple3) -> rule2)) -> rule3) triple5) -> rule6) OR ((((triple6 ((triple5) -> rule5)) -> rule3) triple5) -> rule6) OR ((((triple6 ((triple6) -> rule4)) -> rule3) triple5) -> rule6))] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple3) -> rule2)) -> rule3) OR ((triple6 ((triple5) -> rule5)) -> rule3) OR ((triple6 ((triple6) -> rule4)) -> rule3))]