Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is round. Bob is kind. Bob is young. Erin is rough. Erin is round. Gary is cold. Gary is kind. Gary is nice. Rough people are kind. Nice people are young. If Anne is round and Anne is kind then Anne is rough. Kind people are big. If someone is young and rough then they are big. If Gary is cold and Gary is rough then Gary is nice.
Gary is not nice.
@0: Anne is big.[(triple1 OR ((triple3) -> rule4) OR ((((triple4) -> rule2) ((triple5 triple3) -> rule3)) -> rule5))] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is round.[(triple5)] Bob is kind.[(triple6)] Bob is young.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Gary is cold.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] @1: Anne is rough.[(((triple5 triple3) -> rule3))] Anne is young.[(((triple4) -> rule2))] Bob is big.[(((triple6) -> rule4))] Erin is kind.[(((triple8) -> rule1))] Gary is big.[(((triple11) -> rule4))] Gary is young.[(((triple12) -> rule2))] @2: Erin is big.[(((((triple8) -> rule1)) -> rule4))]