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