Bob is blue. Bob is quiet. Charlie is big. Charlie is furry. Charlie is smart. Erin is big. Erin is quiet. Erin is smart. Harry is furry. Harry is smart. If someone is quiet and big then they are smart. If Charlie is furry and Charlie is smart then Charlie is big. If someone is blue then they are smart.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Charlie is big.[(triple3 OR ((triple4 triple5) -> rule2))] Charlie is furry.[(triple4)] Charlie is smart.[(triple5)] Erin is big.[(triple6)] Erin is quiet.[(triple7)] Erin is smart.[(triple8 OR ((triple7 triple6) -> rule1))] Harry is furry.[(triple9)] Harry is smart.[(triple10)] @1: Bob is smart.[(((triple1) -> rule3))]