Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is rough. Bob is round. All kind people are rough. All furry, round people are rough. Cold people are furry. Cold, big people are kind. If someone is furry and big then they are round. All cold people are round.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple2) -> rule3))] Bob is kind.[(triple4 OR ((triple2 triple1) -> rule4))] Bob is nice.[(triple5)] Bob is rough.[(triple6 OR ((triple4) -> rule1) OR ((triple3 triple7) -> rule2) OR ((((triple2 triple1) -> rule4)) -> rule1) OR ((triple3 ((triple2) -> rule6)) -> rule2) OR ((triple3 ((triple3 triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule3) triple7) -> rule2) OR ((((triple2) -> rule3) ((triple2) -> rule6)) -> rule2) OR ((((triple2) -> rule3) ((triple3 triple1) -> rule5)) -> rule2) OR ((triple3 ((((triple2) -> rule3) triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule3) ((((triple2) -> rule3) triple1) -> rule5)) -> rule2))] Bob is round.[(triple7 OR ((triple2) -> rule6) OR ((triple3 triple1) -> rule5) OR ((((triple2) -> rule3) triple1) -> rule5))]