Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is round. Bob is young. Gary is furry. Gary is red. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is red. Harry is round. Harry is young. If someone is big then they are red. If Gary is round then Gary is cold. Green people are round. Cold people are round. Furry people are green. Cold people are round. If Harry is green and Harry is red then Harry is young. All young people are big.
Gary is not red.
@0: Bob is big.[(triple1 OR ((triple7) -> rule8))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple3) -> rule5))] Bob is red.[(triple5 OR ((triple1) -> rule1) OR ((((triple7) -> rule8)) -> rule1))] Bob is round.[(triple6 OR ((triple2) -> rule4) OR ((triple2) -> rule6) OR ((triple4) -> rule3) OR ((((triple3) -> rule5)) -> rule3))] Bob is young.[(triple7)] Gary is furry.[(triple8)] Gary is red.[(triple9)] Harry is big.[(triple10 OR ((triple16) -> rule8) OR ((((triple13 triple14) -> rule7)) -> rule8) OR ((((((triple12) -> rule5) triple14) -> rule7)) -> rule8))] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13 OR ((triple12) -> rule5))] Harry is red.[(triple14 OR ((triple10) -> rule1) OR ((((triple16) -> rule8)) -> rule1))] Harry is round.[(triple15 OR ((triple11) -> rule4) OR ((triple11) -> rule6) OR ((triple13) -> rule3) OR ((((triple12) -> rule5)) -> rule3))] Harry is young.[(triple16 OR ((triple13 triple14) -> rule7) OR ((triple13 ((triple10) -> rule1)) -> rule7) OR ((((triple12) -> rule5) triple14) -> rule7) OR ((((triple12) -> rule5) ((triple10) -> rule1)) -> rule7))] @1: Gary is green.[(((triple8) -> rule5))] @2: Gary is round.[(((((triple8) -> rule5)) -> rule3))] @3: Gary is cold.[(((((((triple8) -> rule5)) -> rule3)) -> rule2))]