Anne is big. Anne is kind. Anne is nice. Anne is smart. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Dave is young. Gary is kind. Gary is nice. Gary is smart. Gary is young. Harry is kind. Harry is rough. Harry is young. If something is kind then it is big. Rough things are young. All young things are rough.
Harry is nice.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is rough.[(triple7 OR ((triple9) -> rule3))] Dave is smart.[(triple8)] Dave is young.[(triple9 OR ((triple7) -> rule2))] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is smart.[(triple12)] Gary is young.[(triple13)] Harry is kind.[(triple14)] Harry is rough.[(triple15 OR ((triple16) -> rule3))] Harry is young.[(triple16 OR ((triple15) -> rule2))] @1: Dave is big.[(((triple5) -> rule1))] Gary is big.[(((triple10) -> rule1))] Gary is rough.[(((triple13) -> rule3))] Harry is big.[(((triple14) -> rule1))]