Anne is red. Fiona is kind. Fiona is quiet. If someone is smart then they are kind. If someone is kind and big then they are blue. If Anne is red then Anne is smart. Kind people are cold. Blue people are cold. All red, kind people are cold. Kind, smart people are big. All kind people are quiet.
Anne is not big.
@0: Anne is red.[(triple1)] Fiona is kind.[(triple2)] Fiona is quiet.[(triple3 OR ((triple2) -> rule8))] @1: Anne is smart.[(((triple1) -> rule3))] Fiona is cold.[(((triple2) -> rule4))] @2: Anne is kind.[(((((triple1) -> rule3)) -> rule1))] @3: Anne is big.[(((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule7))] Anne is cold.[(((((((triple1) -> rule3)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple1) -> rule3)) -> rule1) ((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule7)) -> rule2)) -> rule5))] Anne is quiet.[(((((((triple1) -> rule3)) -> rule1)) -> rule8))] @4: Anne is blue.[(((((((triple1) -> rule3)) -> rule1) ((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule7)) -> rule2))]