Anne is blue. Bob is big. Erin is white. Fiona is big. If Erin is white and Erin is quiet then Erin is not big. If Fiona is quiet then Fiona is red. If Anne is big and Anne is not white then Anne is round. If Fiona is quiet and Fiona is smart then Fiona is round. Blue people are big. Smart people are not round. If someone is big then they are not smart. Round people are smart.
Fiona is not round.
@0: Anne is blue.[(triple1)] Bob is big.[(triple2)] Erin is white.[(triple3)] Fiona is big.[(triple4)] @1: Anne is big.[(((triple1) -> rule5))] Bob is not smart.[(((triple2) -> rule7))] Fiona is not smart.[(((triple4) -> rule7))] @2: Anne is not smart.[(((((triple1) -> rule5)) -> rule7))]