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