Bob is rough. Bob is round. Bob is white. Erin is big. Erin is blue. Erin is kind. Harry is big. Harry is blue. Harry is not kind. Harry is rough. Harry is not round. Harry is smart. If Erin is white and Erin is round then Erin is kind. All blue people are smart. If someone is big and round then they are smart. If someone is kind and round then they are blue. If Erin is smart then Erin is round. If someone is round then they are rough.
Erin is rough.
@0: Bob is rough.[(triple1 OR ((triple2) -> rule6))] Bob is round.[(triple2)] Bob is white.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is not kind.[(triple9)] Harry is not round.[(triple11)] Harry is rough.[(triple10)] Harry is smart.[(triple12 OR ((triple8) -> rule2))] @1: Erin is smart.[(((triple5) -> rule2))] @2: Erin is round.[(((((triple5) -> rule2)) -> rule5))] @3: Erin is rough.[(((((((triple5) -> rule2)) -> rule5)) -> rule6))]