Anne is big. Anne is kind. Anne is rough. Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Gary is big. Gary is rough. Gary is smart. Harry is big. Harry is cold. Harry is furry. Harry is rough. Harry is smart. If something is smart then it is kind. Kind, furry things are rough. Rough, smart things are kind. If Charlie is kind then Charlie is furry. Smart things are cold. Smart, big things are rough. Rough things are furry. If something is cold and blue then it is rough.
Anne is blue.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6 OR ((triple7) -> rule4))] Charlie is kind.[(triple7)] Gary is big.[(triple8)] Gary is rough.[(triple9 OR ((triple10 triple8) -> rule6))] Gary is smart.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12 OR ((triple15) -> rule5))] Harry is furry.[(triple13 OR ((triple14) -> rule7) OR ((((triple15 triple11) -> rule6)) -> rule7))] Harry is rough.[(triple14 OR ((triple15 triple11) -> rule6) OR ((((triple15) -> rule1) triple13) -> rule2))] Harry is smart.[(triple15)] @1: Anne is furry.[(((triple3) -> rule7))] Charlie is rough.[(((triple7 triple6) -> rule2) OR ((triple7 ((triple7) -> rule4)) -> rule2))] Gary is cold.[(((triple10) -> rule5))] Gary is furry.[(((triple9) -> rule7) OR ((((triple10 triple8) -> rule6)) -> rule7))] Gary is kind.[(((triple10) -> rule1) OR ((triple9 triple10) -> rule3) OR ((((triple10 triple8) -> rule6) triple10) -> rule3))] Harry is kind.[(((triple15) -> rule1) OR ((triple14 triple15) -> rule3) OR ((((triple15 triple11) -> rule6) triple15) -> rule3))]