Bob is rough. Bob is round. Bob is smart. Bob is white. Charlie is kind. Charlie is round. Charlie is white. If someone is smart and round then they are blue. If Charlie is blue then Charlie is kind. If someone is round then they are kind. If Bob is round then Bob is smart. If someone is kind and big then they are white. All rough people are white. All rough people are smart. All rough, kind people are white.
Bob is white.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3 OR ((triple1) -> rule7) OR ((triple2) -> rule4))] Bob is white.[(triple4 OR ((triple1) -> rule6) OR ((triple1 ((triple2) -> rule3)) -> rule8))] Charlie is kind.[(triple5 OR ((triple6) -> rule3))] Charlie is round.[(triple6)] Charlie is white.[(triple7)] @1: Bob is blue.[(((triple3 triple2) -> rule1) OR ((((triple1) -> rule7) triple2) -> rule1) OR ((((triple2) -> rule4) triple2) -> rule1))] Bob is kind.[(((triple2) -> rule3))]