Anne is green. Anne is smart. Anne is young. Bob is green. Bob is kind. Bob is round. Gary is blue. Young, green things are round. If something is smart and young then it is green. Big things are green. If something is big then it is kind. If something is kind and blue then it is smart. If Gary is kind then Gary is smart. All young things are smart. All round, kind things are smart.
Gary is blue.
@0: Anne is green.[(triple1 OR ((triple2 triple3) -> rule2) OR ((((triple3) -> rule7) triple3) -> rule2))] Anne is smart.[(triple2 OR ((triple3) -> rule7))] Anne is young.[(triple3)] Bob is green.[(triple4)] Bob is kind.[(triple5)] Bob is round.[(triple6)] Gary is blue.[(triple7)] @1: Anne is round.[(((triple3 triple1) -> rule1) OR ((triple3 ((triple2 triple3) -> rule2)) -> rule1) OR ((triple3 ((((triple3) -> rule7) triple3) -> rule2)) -> rule1))] Bob is smart.[(((triple6 triple5) -> rule8))]