Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is young. Dave is cold. Dave is green. Dave is nice. Dave is rough. Dave is round. Dave is young. Gary is cold. Gary is green. Gary is round. If something is young and rough then it is nice. If something is cold and green then it is rough. All rough things are young.
Dave is nice.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple1 triple2) -> rule2)) -> rule1) OR ((((triple5) -> rule3) triple5) -> rule1) OR ((((triple5) -> rule3) ((triple1 triple2) -> rule2)) -> rule1) OR ((((((triple1 triple2) -> rule2)) -> rule3) triple5) -> rule1) OR ((((((triple1 triple2) -> rule2)) -> rule3) ((triple1 triple2) -> rule2)) -> rule1))] Charlie is rough.[(triple5 OR ((triple1 triple2) -> rule2))] Charlie is young.[(triple6 OR ((triple5) -> rule3) OR ((((triple1 triple2) -> rule2)) -> rule3))] Dave is cold.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9 OR ((triple12 triple10) -> rule1) OR ((triple12 ((triple7 triple8) -> rule2)) -> rule1) OR ((((triple10) -> rule3) triple10) -> rule1) OR ((((triple10) -> rule3) ((triple7 triple8) -> rule2)) -> rule1) OR ((((((triple7 triple8) -> rule2)) -> rule3) triple10) -> rule1) OR ((((((triple7 triple8) -> rule2)) -> rule3) ((triple7 triple8) -> rule2)) -> rule1))] Dave is rough.[(triple10 OR ((triple7 triple8) -> rule2))] Dave is round.[(triple11)] Dave is young.[(triple12 OR ((triple10) -> rule3) OR ((((triple7 triple8) -> rule2)) -> rule3))] Gary is cold.[(triple13)] Gary is green.[(triple14)] Gary is round.[(triple15)] @1: Gary is rough.[(((triple13 triple14) -> rule2))] @2: Gary is young.[(((((triple13 triple14) -> rule2)) -> rule3))] @3: Gary is nice.[(((((((triple13 triple14) -> rule2)) -> rule3) ((triple13 triple14) -> rule2)) -> rule1))]