Bob is big. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is white. Gary is big. Gary is kind. Gary is nice. Gary is red. Gary is not rough. Gary is round. Gary is white. If Bob is round then Bob is white. All red, rough people are white. If someone is round and not red then they are white. If Bob is white and Bob is big then Bob is kind. If Bob is big then Bob is round. If someone is white then they are round. White people are nice. If someone is rough and not round then they are nice.
Bob is white.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2 OR ((triple7 triple1) -> rule4) OR ((((triple6) -> rule1) triple1) -> rule4) OR ((((triple4 triple5) -> rule2) triple1) -> rule4) OR ((((((triple1) -> rule5)) -> rule1) triple1) -> rule4))] Bob is nice.[(triple3 OR ((triple7) -> rule7) OR ((((triple6) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule2)) -> rule7) OR ((((((triple1) -> rule5)) -> rule1)) -> rule7))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple1) -> rule5) OR ((triple7) -> rule6) OR ((((triple4 triple5) -> rule2)) -> rule6))] Bob is white.[(triple7 OR ((triple6) -> rule1) OR ((triple4 triple5) -> rule2) OR ((((triple1) -> rule5)) -> rule1))] Gary is big.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10 OR ((triple14) -> rule7))] Gary is not rough.[(triple12)] Gary is red.[(triple11)] Gary is round.[(triple13 OR ((triple14) -> rule6))] Gary is white.[(triple14)]