Bob is big. Bob is round. Bob is smart. Bob is white. Erin is white. Gary is round. Gary is white. All round, green people are big. Smart people are round. All white, green people are rough. Smart people are rough. All round, smart people are kind. If someone is kind and white then they are green.
Bob is not smart.
@0: Bob is big.[(triple1 OR ((triple2 ((((triple2 triple3) -> rule5) triple4) -> rule6)) -> rule1) OR ((((triple3) -> rule2) ((((triple2 triple3) -> rule5) triple4) -> rule6)) -> rule1) OR ((triple2 ((((((triple3) -> rule2) triple3) -> rule5) triple4) -> rule6)) -> rule1) OR ((((triple3) -> rule2) ((((((triple3) -> rule2) triple3) -> rule5) triple4) -> rule6)) -> rule1))] Bob is round.[(triple2 OR ((triple3) -> rule2))] Bob is smart.[(triple3)] Bob is white.[(triple4)] Erin is white.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)] @1: Bob is kind.[(((triple2 triple3) -> rule5) OR ((((triple3) -> rule2) triple3) -> rule5))] Bob is rough.[(((triple3) -> rule4) OR ((triple4 ((((triple2 triple3) -> rule5) triple4) -> rule6)) -> rule3) OR ((triple4 ((((((triple3) -> rule2) triple3) -> rule5) triple4) -> rule6)) -> rule3))] @2: Bob is green.[(((((triple2 triple3) -> rule5) triple4) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule5) triple4) -> rule6))]