Bob is cold. Bob is green. Bob is smart. Gary is cold. Gary is green. Gary is kind. Gary is smart. Gary is white. Harry is green. Harry is kind. Harry is red. Harry is young. Young, kind people are white. Kind, white people are young. All red, green people are kind. Young, smart people are kind. If someone is kind and green then they are red. All white, kind people are green.
Harry is cold.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is smart.[(triple3)] Gary is cold.[(triple4)] Gary is green.[(triple5 OR ((triple8 triple6) -> rule6))] Gary is kind.[(triple6)] Gary is smart.[(triple7)] Gary is white.[(triple8)] Harry is green.[(triple9 OR ((((triple12 triple10) -> rule1) triple10) -> rule6))] Harry is kind.[(triple10 OR ((triple11 triple9) -> rule3))] Harry is red.[(triple11 OR ((triple10 triple9) -> rule5) OR ((triple10 ((((triple12 triple10) -> rule1) triple10) -> rule6)) -> rule5))] Harry is young.[(triple12)] @1: Gary is red.[(((triple6 triple5) -> rule5) OR ((triple6 ((triple8 triple6) -> rule6)) -> rule5))] Gary is young.[(((triple6 triple8) -> rule2))] Harry is white.[(((triple12 triple10) -> rule1) OR ((triple12 ((triple11 triple9) -> rule3)) -> rule1))]