Anne is big. Anne is blue. Anne is kind. Bob is red. Bob is white. Dave is red. Dave is smart. Dave is not white. Fiona is nice. Fiona is smart. If something is big then it is nice. Nice, red things are smart. If something is nice and blue then it is red.
Dave is kind.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Bob is red.[(triple4)] Bob is white.[(triple5)] Dave is not white.[(triple8)] Dave is red.[(triple6)] Dave is smart.[(triple7)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10)] @1: Anne is nice.[(((triple1) -> rule1))] @2: Anne is red.[(((((triple1) -> rule1) triple2) -> rule3))] @3: Anne is smart.[(((((triple1) -> rule1) ((((triple1) -> rule1) triple2) -> rule3)) -> rule2))]