Anne is kind. Anne is smart. Bob is nice. Bob is young. Fiona is red. Fiona is smart. Fiona is young. Furry people are not big. If someone is kind then they are red. If someone is red then they are furry.
Fiona is not big.
@0: Anne is kind.[(triple1)] Anne is smart.[(triple2)] Bob is nice.[(triple3)] Bob is young.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] @1: Anne is red.[(((triple1) -> rule2))] Fiona is furry.[(((triple5) -> rule3))] @2: Anne is furry.[(((((triple1) -> rule2)) -> rule3))] Fiona is not big.[(((((triple5) -> rule3)) -> rule1))] @3: Anne is not big.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]