Bob is blue. Bob is kind. Bob is nice. Charlie is not big. Charlie is blue. Charlie is kind. Charlie is round. Charlie is smart. Gary is big. Gary is nice. Gary is round. Gary is smart. All nice people are smart. All big, blue people are smart. If someone is big then they are smart. Smart, kind people are blue. If someone is rough and big then they are blue. All rough, blue people are not nice. If Charlie is rough then Charlie is big. If someone is smart and blue then they are not rough.
Bob is big.
@0: Bob is blue.[(triple1 OR ((((triple3) -> rule1) triple2) -> rule4))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Charlie is blue.[(triple5 OR ((triple8 triple6) -> rule4))] Charlie is kind.[(triple6)] Charlie is not big.[(triple4)] Charlie is round.[(triple7)] Charlie is smart.[(triple8)] Gary is big.[(triple9)] Gary is nice.[(triple10)] Gary is round.[(triple11)] Gary is smart.[(triple12 OR ((triple10) -> rule1) OR ((triple9) -> rule3))] @1: Bob is smart.[(((triple3) -> rule1))] Charlie is not rough.[(((triple8 triple5) -> rule8) OR ((triple8 ((triple8 triple6) -> rule4)) -> rule8))] @2: Bob is not rough.[(((((triple3) -> rule1) triple1) -> rule8) OR ((((triple3) -> rule1) ((((triple3) -> rule1) triple2) -> rule4)) -> rule8))]