Anne is red. Bob is green. Erin is not big. Fiona is red. If something is smart then it is green. All kind, red things are smart. Green things are smart. If something is red then it is kind. If Erin is smart then Erin is rough. If Fiona is quiet then Fiona is not big. If something is rough and not smart then it is not quiet. All green things are quiet.
Anne is big.
@0: Anne is red.[(triple1)] Bob is green.[(triple2)] Erin is not big.[(triple3)] Fiona is red.[(triple4)] @1: Anne is kind.[(((triple1) -> rule4))] Bob is quiet.[(((triple2) -> rule8))] Bob is smart.[(((triple2) -> rule3))] Fiona is kind.[(((triple4) -> rule4))] @2: Anne is smart.[(((((triple1) -> rule4) triple1) -> rule2))] Fiona is smart.[(((((triple4) -> rule4) triple4) -> rule2))] @3: Anne is green.[(((((((triple1) -> rule4) triple1) -> rule2)) -> rule1))] Fiona is green.[(((((((triple4) -> rule4) triple4) -> rule2)) -> rule1))] @4: Anne is quiet.[(((((((((triple1) -> rule4) triple1) -> rule2)) -> rule1)) -> rule8))] Fiona is quiet.[(((((((((triple4) -> rule4) triple4) -> rule2)) -> rule1)) -> rule8))] @5: Fiona is not big.[(((((((((((triple4) -> rule4) triple4) -> rule2)) -> rule1)) -> rule8)) -> rule6))]