Bob is big. Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is white. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is white. Harry is young. All young people are big. All red, furry people are white. All white people are green.
Harry is nice.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple6) -> rule3) OR ((((triple5 triple2) -> rule2)) -> rule3))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6 OR ((triple5 triple2) -> rule2))] Harry is furry.[(triple7)] Harry is green.[(triple8 OR ((triple11) -> rule3) OR ((((triple10 triple7) -> rule2)) -> rule3))] Harry is nice.[(triple9)] Harry is red.[(triple10)] Harry is white.[(triple11 OR ((triple10 triple7) -> rule2))] Harry is young.[(triple12)] @1: Harry is big.[(((triple12) -> rule1))]