Bob is furry. Bob is red. Bob is smart. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is red. Charlie is smart. Charlie is young. Gary is big. Gary is cold. Gary is furry. Gary is young. Harry is big. Harry is young. If Bob is big then Bob is not young. If something is green then it is furry. Red, cold things are furry. If something is green then it is furry. All green, furry things are big. If something is green and not red then it is young. If something is smart then it is green. Furry things are cold.
Harry is not cold.
@0: Bob is furry.[(triple1 OR ((((triple3) -> rule7)) -> rule2) OR ((((triple3) -> rule7)) -> rule4))] Bob is red.[(triple2)] Bob is smart.[(triple3)] Charlie is big.[(triple4 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple7) -> rule2)) -> rule5) OR ((triple7 ((triple7) -> rule4)) -> rule5) OR ((triple7 ((triple8 triple5) -> rule3)) -> rule5) OR ((((triple9) -> rule7) triple6) -> rule5) OR ((((triple9) -> rule7) ((triple7) -> rule2)) -> rule5) OR ((((triple9) -> rule7) ((triple7) -> rule4)) -> rule5) OR ((((triple9) -> rule7) ((triple8 triple5) -> rule3)) -> rule5) OR ((triple7 ((((triple9) -> rule7)) -> rule2)) -> rule5) OR ((triple7 ((((triple9) -> rule7)) -> rule4)) -> rule5) OR ((((triple9) -> rule7) ((((triple9) -> rule7)) -> rule2)) -> rule5) OR ((((triple9) -> rule7) ((((triple9) -> rule7)) -> rule4)) -> rule5))] Charlie is cold.[(triple5 OR ((triple6) -> rule8) OR ((((triple7) -> rule2)) -> rule8) OR ((((triple7) -> rule4)) -> rule8) OR ((((((triple9) -> rule7)) -> rule2)) -> rule8) OR ((((((triple9) -> rule7)) -> rule4)) -> rule8))] Charlie is furry.[(triple6 OR ((triple7) -> rule2) OR ((triple7) -> rule4) OR ((triple8 triple5) -> rule3) OR ((((triple9) -> rule7)) -> rule2) OR ((((triple9) -> rule7)) -> rule4))] Charlie is green.[(triple7 OR ((triple9) -> rule7))] Charlie is red.[(triple8)] Charlie is smart.[(triple9)] Charlie is young.[(triple10)] Gary is big.[(triple11)] Gary is cold.[(triple12 OR ((triple13) -> rule8))] Gary is furry.[(triple13)] Gary is young.[(triple14)] Harry is big.[(triple15)] Harry is young.[(triple16)] @1: Bob is cold.[(((triple1) -> rule8) OR ((((((triple3) -> rule7)) -> rule2)) -> rule8) OR ((((((triple3) -> rule7)) -> rule4)) -> rule8))] Bob is green.[(((triple3) -> rule7))] @2: Bob is big.[(((((triple3) -> rule7) triple1) -> rule5) OR ((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule2)) -> rule5) OR ((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule4)) -> rule5))] @3: Bob is not young.[(((((((triple3) -> rule7) triple1) -> rule5)) -> rule1) OR ((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule2)) -> rule5)) -> rule1) OR ((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule4)) -> rule5)) -> rule1))]