Anne is blue. Bob is round. Gary is red. Harry is big. Kind, round people are red. If someone is round then they are red. Kind, blue people are big. Kind people are smart. All cold, round people are blue. If someone is round and blue then they are kind. If someone is red and round then they are kind. If Anne is blue then Anne is round.
Bob is smart.
@0: Anne is blue.[(triple1)] Bob is round.[(triple2)] Gary is red.[(triple3)] Harry is big.[(triple4)] @1: Anne is round.[(((triple1) -> rule8))] Bob is red.[(((triple2) -> rule2))] @2: Anne is kind.[(((((triple1) -> rule8) triple1) -> rule6) OR ((((((triple1) -> rule8)) -> rule2) ((triple1) -> rule8)) -> rule7))] Anne is red.[(((((triple1) -> rule8)) -> rule2) OR ((((((triple1) -> rule8) triple1) -> rule6) ((triple1) -> rule8)) -> rule1))] Bob is kind.[(((((triple2) -> rule2) triple2) -> rule7))] @3: Anne is big.[(((((((triple1) -> rule8) triple1) -> rule6) triple1) -> rule3) OR ((((((((triple1) -> rule8)) -> rule2) ((triple1) -> rule8)) -> rule7) triple1) -> rule3))] Anne is smart.[(((((((triple1) -> rule8) triple1) -> rule6)) -> rule4) OR ((((((((triple1) -> rule8)) -> rule2) ((triple1) -> rule8)) -> rule7)) -> rule4))] Bob is smart.[(((((((triple2) -> rule2) triple2) -> rule7)) -> rule4))]