Anne is big. Anne is kind. Anne is rough. Anne is not smart. Anne is white. Anne is young. Bob is big. Bob is not blue. Bob is smart. Dave is rough. Gary is blue. Gary is young. Blue things are white. If something is kind then it is big. If something is young and not rough then it is big. If something is smart and white then it is not young. If something is big and rough then it is young. If something is kind then it is young. Blue things are kind. If Bob is blue then Bob is young.
Gary is not blue.
@0: Anne is big.[(triple1 OR ((triple2) -> rule2))] Anne is kind.[(triple2)] Anne is not smart.[(triple4)] Anne is rough.[(triple3)] Anne is white.[(triple5)] Anne is young.[(triple6 OR ((triple2) -> rule6) OR ((triple1 triple3) -> rule5) OR ((((triple2) -> rule2) triple3) -> rule5))] Bob is big.[(triple7)] Bob is not blue.[(triple8)] Bob is smart.[(triple9)] Dave is rough.[(triple10)] Gary is blue.[(triple11)] Gary is young.[(triple12 OR ((((triple11) -> rule7)) -> rule6))] @1: Gary is kind.[(((triple11) -> rule7))] Gary is white.[(((triple11) -> rule1))] @2: Gary is big.[(((((triple11) -> rule7)) -> rule2))]