Anne is smart. Bob is round. Fiona is smart. All smart, round people are white. If someone is kind then they are red. All cold people are kind. If someone is big and smart then they are not kind. If someone is smart then they are cold. If someone is smart then they are round. All cold, smart people are not big. If Bob is not big and Bob is not round then Bob is white.
Fiona is red.
@0: Anne is smart.[(triple1)] Bob is round.[(triple2)] Fiona is smart.[(triple3)] @1: Anne is cold.[(((triple1) -> rule5))] Anne is round.[(((triple1) -> rule6))] Fiona is cold.[(((triple3) -> rule5))] Fiona is round.[(((triple3) -> rule6))] @2: Anne is kind.[(((((triple1) -> rule5)) -> rule3))] Anne is not big.[(((((triple1) -> rule5) triple1) -> rule7))] Anne is white.[(((triple1 ((triple1) -> rule6)) -> rule1))] Fiona is kind.[(((((triple3) -> rule5)) -> rule3))] Fiona is not big.[(((((triple3) -> rule5) triple3) -> rule7))] Fiona is white.[(((triple3 ((triple3) -> rule6)) -> rule1))] @3: Anne is red.[(((((((triple1) -> rule5)) -> rule3)) -> rule2))] Fiona is red.[(((((((triple3) -> rule5)) -> rule3)) -> rule2))]