Bob is big. Erin is kind. Fiona is red. Harry is big. If something is big then it is quiet. All kind things are smart. All quiet, white things are not blue. All red things are kind. All big things are red. If something is white then it is big.
Harry is not kind.
@0: Bob is big.[(triple1)] Erin is kind.[(triple2)] Fiona is red.[(triple3)] Harry is big.[(triple4)] @1: Bob is quiet.[(((triple1) -> rule1))] Bob is red.[(((triple1) -> rule5))] Erin is smart.[(((triple2) -> rule2))] Fiona is kind.[(((triple3) -> rule4))] Harry is quiet.[(((triple4) -> rule1))] Harry is red.[(((triple4) -> rule5))] @2: Bob is kind.[(((((triple1) -> rule5)) -> rule4))] Fiona is smart.[(((((triple3) -> rule4)) -> rule2))] Harry is kind.[(((((triple4) -> rule5)) -> rule4))] @3: Bob is smart.[(((((((triple1) -> rule5)) -> rule4)) -> rule2))] Harry is smart.[(((((((triple4) -> rule5)) -> rule4)) -> rule2))]