Bob is smart. Charlie is big. Charlie is blue. Erin is big. Erin is blue. Erin is kind. Erin is red. Erin is white. Harry is big. Harry is smart. White, smart things are big. If Charlie is round and Charlie is big then Charlie is white. If something is white and blue then it is big. If Charlie is round and Charlie is kind then Charlie is big. All smart things are round. Red things are blue. If something is white then it is kind. If something is white and round then it is big.
Harry is not smart.
@0: Bob is smart.[(triple1)] Charlie is big.[(triple2)] Charlie is blue.[(triple3)] Erin is big.[(triple4 OR ((triple8 triple5) -> rule3) OR ((triple8 ((triple7) -> rule6)) -> rule3))] Erin is blue.[(triple5 OR ((triple7) -> rule6))] Erin is kind.[(triple6 OR ((triple8) -> rule7))] Erin is red.[(triple7)] Erin is white.[(triple8)] Harry is big.[(triple9)] Harry is smart.[(triple10)] @1: Bob is round.[(((triple1) -> rule5))] Harry is round.[(((triple10) -> rule5))]