Bob is big. Bob is cold. Bob is kind. Bob is not nice. Bob is red. Bob is not round. Bob is young. If someone is kind then they are young. If Bob is nice and Bob is young then Bob is not kind. If someone is red and not kind then they are round. If Bob is big and Bob is not round then Bob is cold. If someone is cold then they are big. All red, round people are cold. If someone is big then they are cold. If Bob is not round then Bob is big.
Bob is round.
@0: Bob is big.[(triple1 OR ((triple2) -> rule5) OR ((triple6) -> rule8))] Bob is cold.[(triple2 OR ((triple1) -> rule7) OR ((triple1 triple6) -> rule4) OR ((((triple6) -> rule8)) -> rule7) OR ((((triple6) -> rule8) triple6) -> rule4))] Bob is kind.[(triple3)] Bob is not nice.[(triple4)] Bob is not round.[(triple6)] Bob is red.[(triple5)] Bob is young.[(triple7 OR ((triple3) -> rule1))]